☆72Sep 20, 2026Updated this week
Alternatives and similar repositories for Jove
Users that are interested in Jove are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scalable yet rigorous Floating-point Error Analysis☆10Jul 23, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- yet another model checker☆26Updated this week
- Alloy with browser-based visualizations☆31Jun 16, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parallel Algorithms for Octree Meshing☆12Dec 31, 2015Updated 10 years ago
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆16Dec 17, 2024Updated last year
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 6 months ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆17May 30, 2022Updated 4 years ago
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆25Jul 23, 2026Updated 2 months ago
- Assorted s-expression utilities for Julia☆18Jul 24, 2026Updated 2 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- ☆20Jul 15, 2026Updated 2 months ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 5 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆17Nov 25, 2025Updated 9 months ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Jul 1, 2023Updated 3 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated last year
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Information about the LM-3 project and how to join.☆16Mar 29, 2020Updated 6 years ago
- Jupyter notebooks for learning and demonstrations☆23Aug 18, 2026Updated last month
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆25Jan 14, 2019Updated 7 years ago
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated last year
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated 7 months ago
- ☆10Jul 6, 2023Updated 3 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Benchmark of the main linear algebra libraries in Haskell☆27Mar 9, 2020Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆59Mar 3, 2020Updated 6 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆34Sep 1, 2024Updated 2 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- A Julia package for colorized version of bitstring☆12Jan 18, 2023Updated 3 years ago