Alternatives and similar repositories for jalgebra

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

• malyzajko / rosa
  Rosa, the real compiler
  ☆20Updated 7 years ago
• melt-umn / copper
  An integrated context-aware scanner and parser generator
  ☆20Updated last year
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 4 months ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• sidharthkuruvila / ocaml-ide
  Ocaml plugin for IntelliJ IDEA
  ☆55Updated 3 years ago
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆20Updated 11 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• jonas-lj / Ruffini
  Library for computations over abstract algebraic structures such as finite fields and polynomial rings.
  ☆7Updated 8 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 12 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆88Updated 9 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 6 months ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• psuter / cafebabe
  Tiny Scala library to generate class files for the JVM
  ☆69Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago