A simple S-Expression parser for rust TokenStreams
☆15Nov 23, 2025Updated 11 months ago
Alternatives and similar repositories for qsp
Users that are interested in qsp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- ☆15Jul 11, 2025Updated last year
- Cycle-accurate 6502 emulator as coroutine in Rust☆58Nov 3, 2025Updated 11 months ago
- My workstation dotfiles☆20Updated this week
- 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Your worst nightmare☆106Jun 27, 2025Updated last year
- The Universal Database Seeder. A zero-config, context-aware synthetic data generator for PostgreSQL that maintains referential integrity …☆10Nov 25, 2025Updated 11 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆39Jun 19, 2026Updated 4 months ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- Low-level Rust interface to the CUPS printing library.☆13Jul 15, 2022Updated 4 years ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- Cloud Native Buildpack for the Rust Language☆10Feb 17, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fully locally deployable, NotebookLM-like application designed for long-form unstructured documents☆16Jul 1, 2026Updated 3 months ago
- My solutions to OpenAI gym problems.☆10Jul 31, 2016Updated 10 years ago
- Rust remote log viewer experiment☆14Feb 23, 2022Updated 4 years ago
- Fork of i3lock which applies a gaussian filter.☆11May 3, 2014Updated 12 years ago
- Tool to generate test-cases for regular expression engines☆38Apr 26, 2023Updated 3 years ago
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- Materials for PyCon 2016 in Portland, Oregon☆10Aug 30, 2015Updated 11 years ago
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 10 years ago
- A little game engine based on mojo, openGL and SDL3☆16Aug 28, 2026Updated 2 months 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.
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A small functional language with effect inference based on Koka.☆10Nov 19, 2016Updated 9 years ago
- A command-line interface for interacting with Distant Reader study carrels☆10Jun 26, 2026Updated 4 months ago
- Contains all cryptographic abstractions used across redact codebases.☆16May 1, 2024Updated 2 years ago
- ☆14Sep 9, 2026Updated last month
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- A convenience library to aid in porting code from OpenBSD.☆12Dec 2, 2016Updated 9 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.
- A personal wiki for Atom☆12Jun 8, 2016Updated 10 years ago
- Archive format based on Zstd☆16Feb 6, 2025Updated last year
- ☆18Dec 15, 2016Updated 9 years ago
- Polonius talk at RBR 2019☆14Apr 9, 2021Updated 5 years ago
- A Hash Array Mapped Trie for fast Routing Table lookups.☆13Dec 5, 2016Updated 9 years ago
- Unified BMAD extension module that mirrors sprint tracking to GitLab Issues or GitHub Issues☆17Sep 15, 2026Updated last month
- Fωμ type checker and compiler☆58Jan 28, 2023Updated 3 years ago