A language for certifying specification
☆14Sep 27, 2023Updated 2 years ago
Alternatives and similar repositories for sligh
Users that are interested in sligh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Blech is a language for developing reactive, real-time critical embedded software.☆69Mar 10, 2023Updated 3 years ago
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 6 months ago
- ☆10Jun 29, 2021Updated 4 years ago
- Simple Continuous Delivery system running in your bash shell☆14Aug 30, 2019Updated 6 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated 2 months ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- dictd server bindings in go☆10Oct 1, 2016Updated 9 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- A versatile and powerful data platform allowing interactive searches, dashboards, alerts, and more.☆26Mar 9, 2026Updated 2 weeks ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- A nice keyboard-oriented homepage, designed by committee^Wspec.☆13Jun 25, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- Acid + Impromptu = Jazz☆37Nov 11, 2021Updated 4 years ago
- Service application for storing and invoking delayed HTTP callbacks☆38Mar 24, 2012Updated 13 years ago
- Hypertext authoring with Ruby☆12Mar 22, 2021Updated 5 years ago
- Inspired by patchbay.pub☆63Jan 6, 2022Updated 4 years ago
- UppHub is the repository that serves as the official global registry for U++ distributed packages. Each package provides additional funct…☆12Nov 4, 2025Updated 4 months ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- C++ genetic algorithms scientific library☆15Aug 12, 2023Updated 2 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- A canvas-based game built using Rust and WebAssembly☆16Jan 20, 2023Updated 3 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 9 months ago
- concatenative array language inspired by kdb/+q☆96Feb 17, 2022Updated 4 years ago
- ☆13Dec 2, 2025Updated 3 months ago
- Company backend for inserting ipa☆11Mar 2, 2021Updated 5 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- A pure python Object state change tracker. Monitor all changes in the object's lifecycle and trigger callback functions.☆27Apr 11, 2024Updated last year
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- (⌨️ /🖱 / 🎮 ) keyboard, mouse and gamepad input via react hooks☆13Oct 5, 2021Updated 4 years ago
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- A little library to manipulate SVG path data☆36Jan 10, 2013Updated 13 years ago
- C++ template containers with optimized memory consumption☆12Updated this week
- Intelligent layer on top of existing cloud storage☆29Feb 22, 2014Updated 12 years ago
- ☆50Apr 21, 2021Updated 4 years ago
- A gentle and thoroughly tested guide up the Nix Flakes learning curve☆10Feb 24, 2021Updated 5 years ago