Alternatives and similar repositories for burgerforslag

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

• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• rocq-community / sudoku
  A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
  ☆19Updated 2 years ago
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆13Updated last year
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated last week
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 6 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last month
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 weeks ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 2 months ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated last week
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• jhartikainen / hs-language-php
  Experimental Haskell PHP parser / evaluator / code generator
  ☆50Updated 10 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last month
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• frex-project / idris-frex
  ☆47Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• NorfairKing / syds-rules-for-sustainable-haskell
  ☆103Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 3 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆14Updated 2 months ago