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

l4v

مشخصات و اثبات seL4.
  • 464
  • GNU General Public License v3.0

marlowe

اجرای نمونه اولیه زبان مخصوص دامنه برای طراحی قراردادهای هوشمند بر روی ارزهای دیجیتال.
  • 164
  • Apache License 2.0

cogent

پروژه کوجنت
  • 154
  • GNU General Public License v3.0

tangentlabs

بسیاری از آزمایش های کوچک به زبان های مختلف.
  • 38

sortnetopt

محدودیت های اندازه پایین برای مرتب سازی شبکه ها.
  • 38

WasmCert-Isabelle

مکانیزه واسم در ایزابل..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

تعریف رسمی و تأیید سیستم F. برای گسترش به System Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

اجرای با اطمینان بالا خانواده پروتکل Ouroboros.
  • 0
  • GNU General Public License v3.0