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 2 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆22Updated 9 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated 2 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆57Updated this week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 9 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆288Updated 5 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated last month
• gelisam / klister
  an implementation of stuck macros
  ☆146Updated this week
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 5 months ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆183Updated 5 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 5 months ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆406Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated 2 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆96Updated 8 months ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆83Updated 2 months ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆31Updated last year
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last month
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 3 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆63Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆27Updated last month
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆29Updated last year
• nuscr / nuscr
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆29Updated 2 weeks ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 6 months ago