Alternatives and similar repositories for upo:

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

• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 10 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 6 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆63Updated 10 years ago
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆110Updated 4 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 6 years ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 6 months ago
• ISANobody / sill
  ☆29Updated 9 years ago
• daanx / effect-bench
  Benchmarking algebraic effect handler implementations
  ☆24Updated 3 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• coq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆66Updated 2 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago