Repositories Users Organizations
Filter
Sort
enso-org/ enso
Scala 1 0
Hybrid visual and textual functional programming.
starred-repo language compiler enso functional graalvm hybrid interpreter jit polyglot rts textual visual starred-enso-org-repo
Updated 2024-11-21 16:25:20 +03:00
compiler-explorer/ compiler-explorer
TypeScript 1 0
Run compilers interactively from your web browser and interact with the assembly
starred-repo haskell hacktoberfest rust swift go compiler cpp c-plus-plus rust-lang assembly dlang ispc starred-compiler-explorer-repo
Updated 2024-11-21 11:59:41 +03:00
idris-lang/ Idris2
Idris 1 0
A purely functional programming language with first class types
starred-repo hacktoberfest dependent-types compiler starred-idris-lang-repo
Updated 2024-11-21 02:45:54 +03:00
AleoHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo compiler programming-language leo zero-knowledge zksnarks starred-aleohq-repo
Updated 2024-11-20 23:19:43 +03:00
ProvableHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo programming-language compiler leo zero-knowledge zksnarks starred-provablehq-repo
Updated 2024-11-20 23:19:43 +03:00
gleam-lang/ gleam
Rust 1 0
⭐️ A friendly language for building type-safe, scalable systems!
starred-repo compiler programming-language erlang gleam statically-typed starred-gleam-lang-repo
Updated 2024-11-20 17:57:39 +03:00
wasp-lang/ wasp
TypeScript 1 0
A programming language that understands what a web app is.
starred-repo haskell hacktoberfest javascript compiler react programming-language web-app node prisma wasp starred-wasp-lang-repo
Updated 2024-11-20 17:41:24 +03:00
swc-project/ swc
Rust 1 0
Rust-based platform for the Web
babel compiler ecmascript ecmascript-parser javascript parser rust starred-repo starred-swc-project-repo swc typescript typescript-compiler typescript-parser
Updated 2024-11-20 08:29:21 +03:00
typst/ typst
Rust 1 0
A new markup-based typesetting system that is powerful and easy to learn.
starred-repo compiler markup typesetting starred-typst-repo
Updated 2024-11-17 22:08:23 +03:00
elm/ compiler
Haskell 1 0
Compiler for Elm, a functional language for reliable webapps.
starred-repo compiler elm starred-elm-repo
Updated 2023-11-01 18:15:26 +03:00
grin-compiler/ grin
Haskell 1 0
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
starred-repo haskell functional-programming compiler starred-grin-compiler-repo data-flow-analysis llvm optimisation
Updated 2023-04-28 17:15:23 +03:00
tweag/ asterius
Haskell 1 0
A Haskell to WebAssembly compiler
starred-repo haskell ghc compiler starred-tweag-repo webassembly
Updated 2022-11-14 03:45:00 +03:00
sdiehl/ write-you-a-haskell
Haskell 1 0
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
starred-repo functional-programming lambda-calculus type-theory book compiler evaluation functional-language haskel hindley-milner intermediate-representation pdf-book type type-checking type-inference type-system starred-sdiehl-repo
Updated 2017-04-19 21:42:33 +03:00