Run compilers interactively from your web browser and interact with the assembly
- rust
- c-plus-plus
- go
- dlang
Repository Index
47,133 repositories indexed
1–24 of 31 · Most stars
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Haskell to JavaScript compiler, based on GHC
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
The Lux Programming Language
- language
- programming-language
- macros
- functional-programming
A language and an embedded JIT compiler
- haskell-application
- hobbes
Cryptol: The Language of Cryptography
Maintainable configuration files
- configuration-language
- haskell
- dhall
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Generalized bananas, lenses and barbed wire
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
A library for formalizing Haskell types and functions in Coq
Haskell bindings for Vulkan
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Haskell-flavoured functions for Go :smiley:
- hacktoberfest
😴 Functional programming with lazy immutable iterables
- iterables
- functional-programming
- iterator
- haskell
Convert Haskell source code to Coq source code.
- coq
- haskell
Idris LLVM codegen factored out
Experimental Malfunction backend for Idris