Alternatives and similar repositories for burgerforslag

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

• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 10 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆62Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆61Updated 2 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 10 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆78Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 3 years ago
• andrejbauer / faux-type-theory
  ☆46Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆59Updated 4 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated 4 months ago
• lean-forward / logical_verification_2025
  The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
  ☆78Updated 8 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆65Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆72Updated 5 months ago
• sweirich / rebound
  # A simple variable binding library based on well-scoped indices and environments
  ☆28Updated 2 months ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆42Updated 3 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 7 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆75Updated 2 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆56Updated 2 weeks ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 7 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆66Updated last year
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 6 months ago
• lexa-lang / lexa
  ☆42Updated 5 months ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆85Updated 4 years ago