Alternatives and similar repositories for jnumbertools

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

• 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 last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 5 months ago
• racket / datalog
  ☆48Updated last month
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• flix / book
  The Flix Programming Book
  ☆19Updated last week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆13Updated 6 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 11 months ago
• PPgp / bayesPop
  bayesPop R package
  ☆10Updated 3 months ago
• prologbyexample / code
  ☆31Updated 2 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆14Updated 7 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆28Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated last week
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 4 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• racket / parser-tools
  ☆14Updated last month
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆37Updated last week
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆44Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆19Updated 3 years ago