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:
- Datadog Cloud Foundry Buildpack☆12Apr 23, 2026Updated last week
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆11Nov 21, 2025Updated 5 months ago
- ☆17Updated this week
- An interpreter written in Fortran, I guess☆19Feb 7, 2026Updated 2 months ago
- Turtle graphics for Common Lisp.☆12Dec 12, 2019Updated 6 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.
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 7 months ago
- ☆10Jun 29, 2021Updated 4 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Apr 6, 2026Updated 3 weeks ago
- Interpreter for inference rules☆14May 5, 2018Updated 7 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- system to run repls in background, useful for ai automation☆19Jul 6, 2025Updated 9 months ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- 🏢 Declarative Custom Elements using native Web Component APIs and specs.☆13Apr 13, 2025Updated last year
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆23Apr 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A nice keyboard-oriented homepage, designed by committee^Wspec.☆13Jun 25, 2025Updated 10 months ago
- ☆22Feb 4, 2023Updated 3 years ago
- Acid + Impromptu = Jazz☆37Nov 11, 2021Updated 4 years ago
- This repo was created to serve as a guide to absolute beginners who intend to use Go(Golang) for backend development☆29Sep 12, 2025Updated 7 months ago
- Flexible HTML5 based touch based control surface for MIDI☆33Mar 23, 2024Updated 2 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
- Inspired by patchbay.pub☆63Jan 6, 2022Updated 4 years ago
- Simple, general, human-sympathetic binary data format☆106Dec 10, 2023Updated 2 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.
- Python library for the generation of random text that looks like Latin☆31Jun 15, 2021Updated 4 years 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
- 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
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 10 months ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- concatenative array language inspired by kdb/+q☆96Feb 17, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Java Library for Routing HTTP Requests☆13Apr 11, 2023Updated 3 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- Untangle your unix pipeline one-liners☆22Nov 30, 2015Updated 10 years ago
- The easiest possible implementation of an MCP server and client. Set up a server or a client in 2 lines of code.☆22Jul 5, 2025Updated 9 months ago
- 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