Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–24 of 82 · 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.
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
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
Simple from zero to scale
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Development repository for the Triton language and compiler
The Crystal Programming Language
- crystal
- hacktoberfest
- compiler
- crystal-language
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).
A TypeScript-like language for WebAssembly.
- typescript
- webassembly
- compiler
- assemblyscript
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
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
Odin Programming Language
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language