A language for certifying specification
☆15Sep 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:
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Apr 26, 2026Updated 2 months ago
- A real time 2D graphics renderer for OCaml☆29Jan 18, 2025Updated last year
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆12Jun 19, 2026Updated 2 weeks ago
- AI planning & reasoning library for Rust☆22Apr 18, 2026Updated 2 months ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18May 19, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- NEURON User Interface☆18Jun 1, 2018Updated 8 years ago
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 9 months ago
- ☆10Jun 29, 2021Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13May 18, 2026Updated last month
- XLA (Accelerated Linear Algebra) bindings for OCaml☆35Jun 1, 2025Updated last year
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 11 months ago
- A versatile and powerful data platform allowing interactive searches, dashboards, alerts, and more.☆26Jun 26, 2026Updated last week
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- A nice keyboard-oriented homepage, designed by committee^Wspec.☆13Jun 25, 2025Updated last year
- ☆11Sep 1, 2017Updated 8 years ago
- Lightweight request runner☆18Dec 8, 2020Updated 5 years ago
- Hypertext authoring with Ruby☆12Mar 22, 2021Updated 5 years ago
- Service application for storing and invoking delayed HTTP callbacks☆38Mar 24, 2012Updated 14 years ago
- UppHub is the repository that serves as the official global registry for U++ distributed packages. Each package provides additional funct…☆12Apr 10, 2026Updated 2 months ago
- Inspired by patchbay.pub☆63Jan 6, 2022Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- A canvas-based game built using Rust and WebAssembly☆16Jan 20, 2023Updated 3 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 7 years ago
- concatenative array language inspired by kdb/+q☆97Feb 17, 2022Updated 4 years ago
- Company backend for inserting ipa☆11Mar 2, 2021Updated 5 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Nov 24, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- A generative visual sequencer instrument for monome norns☆14May 9, 2023Updated 3 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 2 years ago
- Fork of Plan 9 meant for education. https://principia-softwarica.org/☆121Updated this week
- C++ template containers with optimized memory consumption☆12Jun 23, 2026Updated last week