کتابخانه های نوشته شده با جاوا اسکریپت
bamboo
بامبو را ببینید https://github.com/cornellblockchain/bamboo (توسط pirapira).
- 318
- Apache License 2.0
bs-json
کتابخانه کدگذاری/رمزگشایی JSON ترکیبی برای BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb یک نرم افزار تبارشناسی رایگان (مانند بیان آزاد) با رابط وب است که توسط Daniel de Rauglaudre ایجاد شده است.
- 262
- GNU General Public License v3.0 only
parallel-programming-in-multicore-ocaml
آموزش برنامه نویسی موازی OCaml چند هسته ای با domainslib.
- 252
- ISC
scilla
Scilla - زبان سطح متوسط قرارداد هوشمند (توسط Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
استخراج برنامه Coq to Rust. کل درخت بر روی پایه کد اصلی Coq است..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
عبارات منظم OCaml خالص، با پشتیبانی از رشته های پرل و POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: پروتکل های باینری قابل توسعه برای ارتباطات بین زبانی و سریال سازی طولانی مدت.
- 203
- GNU General Public License v3.0
plotkicadsch
هدف این پروژه امکان صادرات فایلهای Kicad Sch به فایلهای تصویری ساختیافته (توسط jnavila) است.
- 201
- GNU General Public License v3.0