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–9 of 9 · Most stars
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
An implementation of Python in Common Lisp
- common-lisp
- python
- compiler
The metalua programming language
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
The cell tail language