Alternatives and similar repositories for bolt-dissertation

Users that are interested in bolt-dissertation are comparing it to the libraries listed below

• caius-iulius / spinnaker
  ☆26Updated last year
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆173Updated 6 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated last month
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 4 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆123Updated 3 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆109Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 7 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• eudoxia0 / parsing-menhir
  Code for a tutorial on parsing with Menhir
  ☆14Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 9 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆240Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated 3 weeks ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 11 months ago
• contextfreeinfo / rio
  Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language
  ☆96Updated 2 weeks ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 weeks ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 5 months ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆40Updated 2 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• ralphrecto / xic
  A compiler for the Xi programming language
  ☆10Updated 8 years ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆55Updated this week