Alternatives and similar repositories for burgerforslag:

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

• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 7 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 7 months ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 5 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 7 years ago
• kcrary / cmtool
  Lexer and parser generators for Standard ML, OCaml, and Haskell.
  ☆37Updated 2 years ago
• jhartikainen / hs-language-php
  Experimental Haskell PHP parser / evaluator / code generator
  ☆50Updated 9 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆94Updated 2 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆51Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆99Updated last week
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 2 months ago
• frex-project / idris-frex
  ☆47Updated 5 months ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• diku-dk / img-util-fs
  Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)
  ☆9Updated 2 years ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆58Updated 5 years ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆49Updated 6 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 2 months ago