InterimLow-level Lisp with compile-time memory management
Stars: ✭ 204 (-5.99%)
TigerTiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
Stars: ✭ 77 (-64.52%)
Rubico[a]synchronous functional programming
Stars: ✭ 133 (-38.71%)
Hm DefRuntime type checking for JS with Hindley Milner signatures
Stars: ✭ 171 (-21.2%)
LuxThe Lux Programming Language
Stars: ✭ 1,211 (+458.06%)
NaskahBahasa pemrograman dengan sintaks Bahasa Indonesia (Programming language with Indonesian syntax) 🇮🇩
Stars: ✭ 132 (-39.17%)
Command CenterA CLI-based launcher and general productivity tool.
Stars: ✭ 78 (-64.06%)
El CompiladorAn SSA-based compiler for Emacs Lisp
Stars: ✭ 187 (-13.82%)
DesafiosFP Challenges
Stars: ✭ 77 (-64.52%)
Tinyscript自制的一个编译器, 用于学习,完整实现了词法分析,语法分析,中间代码(SSA)生成,机器码生成,和基于寄存器的虚拟机
Stars: ✭ 132 (-39.17%)
IncomposeA inferno utility belt for function components and higher-order components
Stars: ✭ 76 (-64.98%)
Scala Server ToolkitFunctional programming toolkit for building server applications in Scala.
Stars: ✭ 170 (-21.66%)
JphpJPHP - an implementation of PHP on Java VM
Stars: ✭ 1,665 (+667.28%)
Lila♞ lichess.org: the forever free, adless and open source chess server ♞
Stars: ✭ 10,315 (+4653.46%)
LumenAn alternative BEAM implementation, designed for WebAssembly
Stars: ✭ 2,742 (+1163.59%)
Not Awesome Es6 ClassesA curated list of resources on why ES6 (aka ES2015) classes are NOT awesome
Stars: ✭ 1,185 (+446.08%)
RxsealedunionsCompile-time checked Unions of different types for Domain Modeling [STABLE]
Stars: ✭ 130 (-40.09%)
Awesome Machine Learning In CompilersMust read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
Stars: ✭ 168 (-22.58%)
Ecto morph morph your Ecto capabilities into the s t r a t o s p h e r e !
Stars: ✭ 72 (-66.82%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+828.57%)
LensLanguage for Embeddable .NET Scripting
Stars: ✭ 71 (-67.28%)
AkilangA compiler for a simple language, built with Python and LLVM
Stars: ✭ 71 (-67.28%)
SeelessC IDE for iOS
Stars: ✭ 71 (-67.28%)
FoAn experimental language which adds functional programming features to Go.
Stars: ✭ 1,158 (+433.64%)
MdA markdown parser and compiler. Built for speed.
Stars: ✭ 128 (-41.01%)
PurecC backend for PureScript
Stars: ✭ 202 (-6.91%)
OrangeThe Orange programming language
Stars: ✭ 67 (-69.12%)
FlexProbabilistic deep learning for data streams.
Stars: ✭ 127 (-41.47%)
ContracodeContrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning
Stars: ✭ 66 (-69.59%)
Bow Arch🏛 Functional Architecture in Swift using Bow
Stars: ✭ 166 (-23.5%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+4064.52%)
PhplrtPHP Language Recognition Tool
Stars: ✭ 127 (-41.47%)
CodeworldEducational computer programming environment using Haskell
Stars: ✭ 1,142 (+426.27%)
CerticoqA Verified Compiler for Gallina, Written in Gallina
Stars: ✭ 66 (-69.59%)
List🐆 An immutable list with unmatched performance and a comprehensive functional API.
Stars: ✭ 1,604 (+639.17%)
LambdatestFunctional testing for Scala.
Stars: ✭ 65 (-70.05%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-23.96%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-70.05%)
MgoPurely functional genetic algorithms for multi-objective optimisation
Stars: ✭ 63 (-70.97%)
IchbinsA tiny self-hosting Lisp-to-C compiler
Stars: ✭ 210 (-3.23%)
PatolinePatoline typesetting system
Stars: ✭ 124 (-42.86%)
SkunkA data access library for Scala + Postgres.
Stars: ✭ 1,107 (+410.14%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (-24.42%)
HikariLLVM Obfuscator
Stars: ✭ 1,585 (+630.41%)
L1L1: Tensor Studio — The playground for tensors
Stars: ✭ 154 (-29.03%)
Flaxgeneral purpose programming language, in the vein of C++
Stars: ✭ 111 (-48.85%)
BrainAn esoteric programming language compiler on top of LLVM based on Brainfuck
Stars: ✭ 112 (-48.39%)
Nine Cards V2An Open Source Android Launcher built with Scala on Android
Stars: ✭ 181 (-16.59%)
ForgeA lightweight, elegant scripting language with built-in Rust-FFI.
Stars: ✭ 153 (-29.49%)
Freasy MonadEasy way to create Free Monad using Scala macros with first-class Intellij support.
Stars: ✭ 112 (-48.39%)
NanocamlNanopass for OCaml
Stars: ✭ 112 (-48.39%)
Fs2Compositional, streaming I/O library for Scala
Stars: ✭ 1,998 (+820.74%)