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
Sorting:
- ☆10Jun 29, 2021Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/jbaci☆12Nov 17, 2024Updated last year
- C++ template containers with optimized memory consumption☆12Updated this week
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- ☆15Nov 27, 2025Updated 3 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 7 months ago
- An open and introductory book for the Python API of Apache Spark (pyspark) 📚📖☆12Sep 19, 2025Updated 5 months ago
- Exploring Audio Possibilities of WebGPU☆12Jan 31, 2024Updated 2 years ago
- Simple Continuous Delivery system running in your bash shell☆14Aug 30, 2019Updated 6 years ago
- A C++ structure to manage multi-dimensional data efficiently and safely☆12Feb 1, 2026Updated last month
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- Highly-configurable and modular arm32 operating system created from scratch☆13Jun 9, 2020Updated 5 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- This demo code demonstrates how to enable .NET Core to play audio with the help of NodeServices and Node.js. Due to its platform-indepen…☆10Jun 12, 2020Updated 5 years ago
- ☆13Jan 5, 2026Updated last month
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- dictd server bindings in go☆10Oct 1, 2016Updated 9 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Datadog Cloud Foundry Buildpack☆12Feb 12, 2026Updated 2 weeks ago
- ☆58Jan 5, 2025Updated last year
- Experimental Design for Gaussian Process Regression in Python☆12Dec 31, 2021Updated 4 years ago
- A curated list of resources related to the smart home matter protocol.☆14Jul 23, 2024Updated last year
- A simple application for running scripts from the system tray☆10Jan 7, 2022Updated 4 years ago
- A unit-testing framework for CMake functions☆15Jul 27, 2025Updated 7 months ago
- A Python package designed to once and for all collect all the little things that come up over and over again in AI projects.☆12Jul 1, 2025Updated 8 months ago
- A real time 2D graphics renderer for OCaml☆28Jan 18, 2025Updated last year
- A versatile and powerful data platform allowing interactive searches, dashboards, alerts, and more.☆26Sep 12, 2025Updated 5 months ago