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
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• Dierk / frege-idea-plugin
  Language support for the Frege programming language in IntelliJIDEA (currently experimental)
  ☆22Updated 9 years ago
• malyzajko / rosa
  Rosa, the real compiler
  ☆19Updated 7 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• hvesalai / emacs-sbt-mode_old
  OLD: An emacs mode for interacting with scala sbt and projects
  ☆7Updated 5 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• metaborg / spoofax-intellij
  ☆11Updated 2 weeks ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• kazu-yamamoto / llrbtree
  Left-leaning red-black trees
  ☆48Updated 13 years ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 9 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 2 weeks ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago