کتابخانه های نوشته شده با جاوا اسکریپت

Dress

好耶 是女装.
  • 22.0k
  • GNU General Public License v3.0

GoldenCheetah

نرم افزار عملکرد برای دوچرخه سواران، دوندگان، ورزشکاران سه گانه و مربیان.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

مخزن MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: اجرای تایید شده ML.
  • 833
  • GNU General Public License v3.0

urweb

زبان برنامه نویسی Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

کامپایلر و جعبه ابزار استاندارد ML (توسط melsman).
  • 239

sml-redprl

منطق پالایش مردم.
  • 225
  • MIT

openwrt-useful-tools

مخزن حاوی ابزارهای مختلف که به طور خاص برای Hak5 WiFi Pineapple MK6 و MK7 گردآوری شده است.
  • 207

mpl

کامپایلر MaPLe برای Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

کامپایلر APL که یک زبان میانی آرایه تایپ شده را هدف قرار می دهد.
  • 200
  • MIT

LunarML

یک کامپایلر استاندارد ML که Lua/JavaScript را تولید می کند.
  • 194
  • MIT

smlsharp

کامپایلر SML#.
  • 194
  • MIT

smlpkg

مدیر بسته عمومی برای کتابخانه ها و برنامه های استاندارد ML.
  • 151
  • MIT

ponyo

کتابخانه و جعبه ابزار برای استاندارد ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

مدیر بسته Smackage برای استاندارد ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

مخزن جدید: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

کلیدهای عمومی و هش های Checksum.
  • 66

amd-sp-glitch

مطالب تکمیلی مقاله ما: "یک نقص برای کنترل همه آنها: حملات تزریق خطا در برابر مجازی سازی رمزگذاری شده امن AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

یک کتابخانه پایه از الگوریتم ها و ساختارهای داده (a la NJlib).
  • 65
  • MIT

smlfmt

یک تجزیه‌کننده/قالب‌کننده خودکار سفارشی برای استاندارد ML.
  • 54
  • MIT

flunct

یک مولد API روان عملکردی.
  • 32

hardware

پروژه توسعه و تأیید Verilog برای HOL4 (توسط CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

پشتیبانی MLB برای CM (SML/NJ Compilation and Library Manager) (توسط T-Brick).
  • 17
  • MIT

mulligan

یک دیباگر پله ای برای استاندارد ML (SML).
  • 13
  • MIT

sml-bdb

صحافی DB برکلی برای استاندارد ML.
  • 7

typhoon

ساختارهای داده و الگوریتم‌های نوع‌دار (توسط eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

مخزن Coreboot برای فلش کردن دستگاه های من (توسط grisu48).
  • 4

sml-parseq

کتابخانه توالی های موازی در استاندارد ML.
  • 4
  • MIT