epfl-lara / welderView external linksLinks
Interactive Theorem Proving based on Inox
☆10Feb 22, 2019Updated 6 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☆93Jan 14, 2026Updated last month
- Bolts: Stainless Verified Scala Examples☆29Feb 5, 2026Updated last week
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- 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 7 years ago
- A set of tools to develop plugins using the Bukkit API☆19Feb 27, 2025Updated 11 months ago
- 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☆391Jan 23, 2026Updated 3 weeks ago
- LL(1) parser combinators in Scala☆61Sep 2, 2025Updated 5 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 5 years ago
- Website for LauzHack, EPFL's largest hackathon.☆11Dec 23, 2025Updated last month
- Scala library for parsing and printing the SMT-LIB format☆46Dec 30, 2022Updated 3 years ago
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Summoner's core SDK for building and deploying agents☆12Feb 4, 2026Updated last week
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- ☆40May 31, 2012Updated 13 years ago
- 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
- Download all images from gc-disable composer thread comments☆30May 26, 2015Updated 10 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- Source Code for 'Game Backend Development' by Balint Bors☆11Dec 27, 2022Updated 3 years ago
- Fixed version of tg-cli with support of channels and groups.☆13Jul 7, 2017Updated 8 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
- Demonstrates various usage scenarios for @html binding macro.☆10Dec 10, 2020Updated 5 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- gamepad support for openframeworks 007☆22Sep 4, 2021Updated 4 years ago
- 为 《Laravel 入门教程》 https://laravel-china.org/laravel-tutorial/5.1/about 定制的 homestead box 打包脚本☆10Feb 28, 2021Updated 4 years ago
- Haskell: Simple heterogeneous lists☆10Feb 7, 2022Updated 4 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- A HTTP framework for storage and memory constraint environments (microcontrollers)☆31Jul 26, 2014Updated 11 years ago
- Provide binary wheels for using ffmpeg with pyglet on certain platforms☆11Oct 6, 2019Updated 6 years ago
- Matlab code for fast Hausdorff distance for binary images or segmentation maps☆11Mar 10, 2019Updated 6 years ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago