کتابخانه های نوشته شده با جاوا اسکریپت
flow
تایپ استاتیک را به جاوا اسکریپت اضافه می کند تا بهره وری توسعه دهنده و کیفیت کد را بهبود بخشد.
- 22.0k
- MIT
reason
کد ایمن ساده، سریع و تایپ کنید که از اکوسیستم های جاوا اسکریپت و OCaml استفاده می کند.
- 9.9k
- MIT
semgrep
تجزیه و تحلیل استاتیک سبک برای بسیاری از زبان ها. انواع اشکال را با الگوهایی که شبیه کد منبع هستند پیدا کنید.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
سیستم اصلی OCaml: کامپایلرها، سیستم زمان اجرا، کتابخانه های پایه.
- 4.6k
- GNU General Public License v3.0
coq
Coq یک سیستم مدیریت اثبات رسمی است. این یک زبان رسمی برای نوشتن تعاریف ریاضی، الگوریتمهای اجرایی و قضایا همراه با محیطی برای توسعه نیمه تعاملی اثباتهای ماشینی بررسی میکند.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace آثاری با وضوح بالا از کاری که یک فرآیند انجام می دهد را جمع آوری و نمایش می دهد.
- 4.1k
- MIT
pfff
ابزارهایی برای تجزیه و تحلیل کد، تجسم، یا تبدیل منبع حفظ سبک..
- 2.4k
- GNU General Public License v3.0
comby
یک ابزار بازنویسی کد برای جستجوی ساختاری و جایگزینی که از ~ هر زبانی پشتیبانی می کند.
- 2.1k
- Apache License 2.0
mina
Mina یک ارز دیجیتال جدید با بلاک چین با اندازه ثابت است که مقیاسبندی را بهبود میبخشد و در عین حال تمرکززدایی و امنیت را حفظ میکند. (توسط MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
تحلیلگر استاتیک کد باینری، با یکپارچه سازی IDA. تجزیه و تحلیل ارزش و لکه، بازسازی نوع، شناسایی پس از استفاده رایگان و دو برابر رایگان را انجام می دهد.
- 1.5k
opam
opam یک مدیر بسته مبتنی بر منبع است. از چندین نصب کامپایلر همزمان، محدودیتهای بسته انعطافپذیر و یک گردش کار توسعه سازگار با Git پشتیبانی میکند.
- 1.1k
- GNU General Public License v3.0
caramel
:candy: یک زبان کاربردی برای ساختن برنامه های کاربردی ایمن، مقیاس پذیر و قابل نگهداری.
- 995
- Apache License 2.0