Alternatives and similar repositories for jnumbertools

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

• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 8 months ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• kinoplan / utils
  A set of tools that make working with the Scala ecosystem even better.
  ☆11Updated 2 weeks ago
• enso-lang / enso
  ☆71Updated 5 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆15Updated 8 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• combinators / cls-scala
  (CL)S - Combinatory Logic Synthesizer
  ☆12Updated 4 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆21Updated last year
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• ragnard / shen-truffle
  Port of the Shen programming language to the Graal runtime
  ☆26Updated 8 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 4 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 8 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 4 years ago
• racket / datalog
  ☆49Updated 2 months ago
• prologbyexample / code
  ☆31Updated 2 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated 4 months ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 10 months ago
• webyrd / 2012-scheme-workshop-quines-paper-code
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Updated 11 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 8 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Updated 9 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆36Updated 4 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 3 months ago
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago