Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
- roslyn
- visual-basic
- visual-studio
- csharp
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
Language for high-assurance and high-speed cryptography
A Verified Compiler for Gallina, Written in Gallina