deepeshpatel / jnumbertoolsLinks
JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher, developer, or student, this library offers a comprehensive set of APIs to efficiently handle a wide range of mathematical tasks, from basic to advanced combinatorial computations
☆12Updated 3 months ago
Alternatives and similar repositories for jnumbertools
Users that are interested in jnumbertools are comparing it to the libraries listed below
Sorting:
- Resumable exceptions and delimited continuations for JVM☆44Updated 4 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ☆71Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆19Updated 6 years ago
- A set of tools that make working with the Scala ecosystem even better.☆11Updated this week
- purple: compiling a reflective language☆33Updated 10 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- The fastest way to build a language☆43Updated 3 years ago
- Arete is an experimental programming language.☆12Updated last year
- ☆48Updated 3 weeks ago
- A very little language☆16Updated 2 years ago
- 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 month
- Racket bindings for Z3☆20Updated 13 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 3 months ago
- Port of the Shen programming language to the Graal runtime☆26Updated 8 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆13Updated 5 months ago
- ☆14Updated last week
- A notional machine for the SMoL languages☆22Updated last year
- A toy dependent typed language.☆32Updated this week
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Haskell User's Gofer System☆25Updated 9 years ago
- Relational implementation of the CESK machine☆21Updated 12 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago