Alternatives and similar repositories for jalgebra:

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

• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 2 months ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• akabe / docker-ocaml
  Minimum docker images for OCaml+OPAM
  ☆16Updated 5 years ago
• malyzajko / rosa
  Rosa, the real compiler
  ☆19Updated 7 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 2 weeks ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 7 months ago
• renatoathaydes / jgrab
  Runs Java code without a build system, grabbing dependencies declared in the Java file itself.
  ☆17Updated 10 months ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 2 months ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆26Updated 3 months ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 11 years ago