Alternatives and similar repositories for burgerforslag

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

• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 5 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 5 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆166Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆54Updated 6 months ago
• sweirich / rebound
  # A simple variable binding library based on well-scoped indices and environments
  ☆14Updated last week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 8 months ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆38Updated last month
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 5 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆83Updated 3 years ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated 2 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 7 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated last year
• ollef / rock
  Build system
  ☆124Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆114Updated this week
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated 2 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆86Updated last month
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆264Updated 11 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆144Updated this week