pure-lang
Functional Compiler
A language and compiler for building fast, dynamic, and functional programs with built-in support for symbolic rewriting and lazy evaluation.
Pure programming language
317 stars
14 watching
20 forks
Language: C++
last commit: about 3 years ago functional-programmingjit-compilerllvmscripting-languageterm-rewriting
Related projects:
| Repository | Description | Stars |
|---|---|---|
 aionescu/dynasty | A language and compiler that enables lazy functional programming in JavaScript | 6 |
 rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,031 |
 facet-lang/facet | A research project aiming to build a functional programming language with algebraic effects and handlers, focusing on call-by-value evaluation order and type theory for control over staging and erasure. | 81 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 759 |
 guida-lang/compiler | Creates a compiler for a functional programming language that builds upon Elm | 41 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 xixixao/shem | A compiler for a statically typed, pure-by-default functional programming language with an S-expressions-based syntax and support for a full-featured collections library. | 391 |
 natefaubion/purescript-spork | An alternative implementation of a functional programming language | 156 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 zilch-lang/zilch | A language designed to provide a fully-fledged functional programming language with focus on performance and ease of use despite its low-level aspect. | 25 |
 st3v3nmw/morph | A functional programming language with strong type system and lazy evaluation, aiming to provide a powerful and expressive platform for building concurrent and parallel applications. | 1 |
 yosbelms/ramdascript | A functional programming language that compiles to JavaScript, featuring Lisp-like syntax and Ramda as the standard library. | 132 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 77 |