TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
59,621 visible repositories in the index
1–24 of 58 · Most stars
A markup-based typesetting system that is powerful and easy to learn.
The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
The Modular Platform (includes MAX & Mojo)
- ai
- language
- machine-learning
- mojo
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
- micropython
- python
- embedded
- microcontroller
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
- autohotkey
- c-plus-plus
- automation
- windows
Expressive, robust, feature-rich CSS language built for nodejs
- stylus
- css
- preprocessor
- styl
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
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Lean 4 programming language and theorem prover
- lean4
- lean
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
A statically typed lisp, without a GC, for real-time applications.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
Making it easier to work with shaders
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Next Generation Visual Programming System
- unit
- programming
- programming-language
- dataflow-programming
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
GritQL is a query language for searching, linting, and modifying code.