Alternatives and similar repositories for Public-Archive

Users that are interested in Public-Archive are comparing it to the libraries listed below

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆30Updated 11 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated 2 weeks ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 5 months ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last month
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆17Updated 2 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated 11 months ago
• blntk / sfpl
  A simple functional programming language.
  ☆21Updated 4 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated last week
• ashinkarov / heh
  A programming language with infinite arrays
  ☆31Updated 5 years ago
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆28Updated 8 months ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• Lysxia / coq-simple-io
  IO for Gallina
  ☆33Updated 3 weeks ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 6 months ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last month
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆72Updated last week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆73Updated 8 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 6 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆23Updated 6 months ago