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
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
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 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
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 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
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Powerful scripting language & versatile interactive shell
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
jank is the native Clojure dialect with seamless C++ interop.
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
Embedded Scripting Language Designed for C++
- c-plus-plus
- embedded-scripting-language
- cpp
- language
clasp Common Lisp environment
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
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
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio