Alternatives and similar repositories for ProLaLa2022

Users that are interested in ProLaLa2022 are comparing it to the libraries listed below

• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• CraigStuntz / Lbac
  Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code
  ☆49Updated 11 years ago
• rkoeninger / ShenSharp
  Shen for the Common Language Runtime
  ☆36Updated last year
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated this week
• tpetricek / tiny-systems-2023
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated 4 months ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆114Updated last month
• fsprojects / FsGlfw3
  F# GLFW 3 Binding
  ☆10Updated 7 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated 2 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆33Updated 6 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 7 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• contificate / match
  Match compilation algorithm in OCaml
  ☆34Updated 10 months ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆133Updated 7 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• darklang / fizzboom
  Benchmark to compare async web server + interpreter + web client implementations across various languages
  ☆48Updated 2 years ago
• AshleyF / FScheme
  Scheme interpreter in F#
  ☆55Updated 2 years ago
• tpetricek / histogram
  Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…
  ☆24Updated 3 years ago
• tpetricek / nanospeak
  ☆17Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• adamant / adamant.tools.compiler.bootstrap
  A compiler for the Adamant language
  ☆22Updated 5 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 8 years ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 8 years ago
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆94Updated 9 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆32Updated 14 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago