TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 55 · Most stars
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
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
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
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
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
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
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
inkle's open source scripting language for writing interactive narrative.
The Goose Programming Language
clasp Common Lisp environment
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety