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:
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆11Nov 21, 2025Updated 4 months ago
- 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
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18May 19, 2023Updated 2 years ago
- An interpreter written in Fortran, I guess☆18Feb 7, 2026Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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
- Simple Continuous Delivery system running in your bash shell☆14Aug 30, 2019Updated 6 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- system to run repls in background, useful for ai automation☆19Jul 6, 2025Updated 9 months ago
- A Minimal Lispy Calculator☆26Sep 27, 2023Updated 2 years ago
- 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 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Measuring the size of Nim hello-world executables. This repo was created mainly as a citation for https://nim-lang.org/blog/2022/12/21/ve…☆33Mar 31, 2023Updated 3 years ago
- A nice keyboard-oriented homepage, designed by committee^Wspec.☆13Jun 25, 2025Updated 9 months ago
- Worskpace manager for the shell☆14Dec 4, 2025Updated 4 months ago
- ☆11Sep 1, 2017Updated 8 years ago
- Lightweight request runner☆18Dec 8, 2020Updated 5 years ago
- Flexible HTML5 based touch based control surface for MIDI☆33Mar 23, 2024Updated 2 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…☆12Nov 4, 2025Updated 5 months ago
- Inspired by patchbay.pub☆63Jan 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Simple, general, human-sympathetic binary data format☆107Dec 10, 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
- concatenative array language inspired by kdb/+q☆96Feb 17, 2022Updated 4 years ago
- Audio streaming Module for React native☆17Feb 6, 2023Updated 3 years 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 5 years ago
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Simple server-maintained state synchronisation.☆13Feb 22, 2026Updated last month
- Automatically exported from code.google.com/p/jbaci☆12Nov 17, 2024Updated last year
- ☆50Apr 21, 2021Updated 4 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- Image Editor powered by WebAssembly and Rust☆15Mar 28, 2024Updated 2 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago