کتابخانه های نوشته شده با جاوا اسکریپت
zsyntax
اثبات قضیه خودکار برای یک حساب مبتنی بر منطق خطی برای زیست شناسی مولکولی..
- 10
- BSD 3-clause "New" or "Revised"
compdata-param
کتابخانه Haskell در حال پیاده سازی انواع داده های ترکیبی پارامتریک..
- 10
- BSD 3-clause "New" or "Revised"
cryptostore
سریال سازی انواع داده های رمزنگاری شده (توسط اوکرون).
- 10
- BSD 3-clause "New" or "Revised"
blaze-textual
یک کتابخانه Haskell سریع برای ارائه انواع داده های رایج Haskell به صورت متنی.
- 10
- BSD 3-clause "New" or "Revised"
lucid-svg
پاک کردن نوشتن، خواندن و ویرایش DSL برای نوشتن SVG، بر اساس شفاف.
- 10
- BSD 3-clause "New" or "Revised"
tagsoup-megaparsec
یک تجزیهکننده نشانه برچسب و ترکیبکنندههای تجزیه خاص برچسب.
- 10
- BSD 3-clause "New" or "Revised"