Interactive Theorem Proving based on Inox
☆10Feb 22, 2019Updated 7 years ago
Alternatives and similar repositories for welder
Users that are interested in welder are comparing it to the libraries listed below
Sorting:
- Solver for higher-order functional programs, used by Stainless☆94Updated this week
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Sane interface to moodle☆14Sep 21, 2017Updated 8 years ago
- Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, …☆51Jun 5, 2024Updated last year
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- A set of tools to develop plugins using the Bukkit API☆19Feb 27, 2025Updated last year
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 2 years ago
- Verification framework and tool for higher-order Scala programs☆393Feb 27, 2026Updated last week
- LL(1) parser combinators in Scala☆61Sep 2, 2025Updated 6 months ago
- A room-based music sharing provider using Node.JS☆21Feb 4, 2018Updated 8 years ago
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated last year
- Recursive Neural Networks for PyTorch☆31Feb 18, 2020Updated 6 years ago
- Website for LauzHack, EPFL's largest hackathon.☆12Feb 27, 2026Updated last week
- Scala library for parsing and printing the SMT-LIB format☆46Dec 30, 2022Updated 3 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- Personal UE5 Soul-like RPG Action Game☆11Jan 6, 2024Updated 2 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- Provide binary wheels for using ffmpeg with pyglet on certain platforms☆11Oct 6, 2019Updated 6 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- a TodoMVC client which uses TodoBackend to store its todos.☆13Jul 27, 2018Updated 7 years ago
- Source Code for 'Game Backend Development' by Balint Bors☆11Dec 27, 2022Updated 3 years ago
- Zipped source code reading app for Android☆12May 17, 2019Updated 6 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- The sequel to GraLL. Has a whole lot of new stuff: Another dimension, better physics, gravity-switching, Python scriptability, real save/…☆22Jul 28, 2013Updated 12 years ago
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 4 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Low poly Unity platformer. Going to get my third person camera and controller tweaked then do small mechanics.☆11Jul 18, 2015Updated 10 years ago
- ☆12Jan 27, 2016Updated 10 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- gamepad support for openframeworks 007☆22Sep 4, 2021Updated 4 years ago
- Tetris implemented in lua/love2d using ECS☆10May 8, 2019Updated 6 years ago