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:
- A real time 2D graphics renderer for OCaml☆29Jan 18, 2025Updated last year
- RawLine is a 100% Ruby library able to provide some of the functionality offered by ReadLine, plus additional features such as a more…☆35Jul 4, 2015Updated 10 years ago
- ☆60Jan 5, 2025Updated last year
- ☆10Sep 7, 2022Updated 3 years 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An interpreter written in Fortran, I guess☆19Updated this week
- L-system on Python with stochastic features☆13Nov 8, 2020Updated 5 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 4 years ago
- Simple Continuous Delivery system running in your bash shell☆14Aug 30, 2019Updated 6 years ago
- Turn Trello into a CMS to power all your websites and apps.☆10May 12, 2018Updated 8 years ago
- XLA (Accelerated Linear Algebra) bindings for OCaml☆35Jun 1, 2025Updated last year
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆18Jan 2, 2016Updated 10 years ago
- dictd server bindings in go☆10Oct 1, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- Dr. Nic's irb extension to tell you what methods return a desired result☆28Apr 17, 2011Updated 15 years ago
- My RubyConf 2021 Workshop Materials☆10Nov 5, 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.☆26Mar 9, 2026Updated 3 months ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- A Minimal Lispy Calculator☆26Sep 27, 2023Updated 2 years ago
- 🏎️ A tiny, speedy, dynamic list virtualization library for React☆12Jan 6, 2023Updated 3 years ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Jun 7, 2026Updated last week
- 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.
- ☆11Jul 13, 2022Updated 3 years ago
- ☆11Sep 1, 2017Updated 8 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☆37Aug 17, 2022Updated 3 years ago
- A canvas-based game built using Rust and WebAssembly☆16Jan 20, 2023Updated 3 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Updated this week
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Android client for pi-rpc☆66Mar 23, 2026Updated 2 months ago
- Company backend for inserting ipa☆11Mar 2, 2021Updated 5 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- Untangle your unix pipeline one-liners☆22Nov 30, 2015Updated 10 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