Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–24 of 81 · Most stars
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
🌴 Empowering everyone to build reliable and efficient smart contracts.
PowerShell for every system!
The Kotlin Programming Language.
- kotlin
- programming-language
- compiler
- gradle-plugin
Moved to Codeberg
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Development repository for the Triton language and compiler
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).
Less. The dynamic stylesheet language.
Unfancy JavaScript
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
- scala
- scala-compiler
- scala-programming-language
- scala-library
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
Expressive, robust, feature-rich CSS language built for nodejs
- stylus
- css
- preprocessor
- styl
The Clojure programming language
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
High-level tracing language for Linux