Alternatives and similar repositories for Public-Archive

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

• kantinen / kantinfo
  a simple infoscreen system
  ☆12Updated last month
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 4 months ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆97Updated 7 months ago
• kasiaMarek / TyRE
  ☆25Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated 2 years ago
• Lysxia / coq-simple-io
  IO for Gallina
  ☆33Updated 3 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 4 months ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 2 weeks ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆31Updated last year
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆55Updated last month
• rocq-community / coq-program-verification-template
  Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…
  ☆34Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆51Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆146Updated 2 weeks ago
• wilbowma / pl-thesaurus
  ☆89Updated 4 years ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆78Updated 3 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 2 weeks ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated 2 months ago
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆22Updated 9 months ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated 3 weeks ago
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆48Updated last month
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆142Updated last year
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 8 months ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated 2 years ago