Alternatives and similar repositories for xutools:

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

• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 10 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆68Updated 7 years ago
• ocaml / ocaml-ci-scripts
  Skeletons for CI scripts
  ☆101Updated 2 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• carlssonia / adaptive
  ☆10Updated 12 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated last month
• coqoon / coqoon
  eclipse plugin to support side-by-side proofs and code
  ☆25Updated 6 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 5 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆106Updated 10 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆208Updated 5 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 12 years ago
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆44Updated last year
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 4 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 6 months ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year