Repositories Users Organizations
Filter
Sort
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-07-04 16:16:42 +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-07-04 13:57:40 +03:00
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-07-04 13:50:05 +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-07-04 01:55:39 +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-07-03 20:27:59 +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-07-03 19:02:14 +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-07-03 19:02:14 +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-07-03 16:52:56 +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-07-02 19:26:41 +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