A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
Repository Index
71,372 visible repositories in the index
1–19 of 19 · Most stars
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
A friendly programming language from the future
- haskell
- programming-language
- unison
- unison-language
A statically typed lisp, without a GC, for real-time applications.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Official Haskell IDE support via the language server protocol (LSP)
- lsp-server
- haskell-language-server
- ide
- haskell
:boom::computer::boom: A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Cryptol: The Language of Cryptography
Huge list of videos, talks, courses for Haskell programming language.
- haskell
- videos
- awesome
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Convert Elm project into Nix expressions
- elm
- elm-lang
- nix
- haskell
Haskell binding for Gremlin graph query language
Tool that allows to write Erlang NIF libraries in Haskell
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar