just a place to throw some coding experiements while i re-re-re-learn rust
☆15Jul 31, 2022Updated 3 years ago
Alternatives and similar repositories for kanso
Users that are interested in kanso are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- scraps and bits and bobs☆14Jul 28, 2022Updated 3 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆17May 20, 2026Updated 2 months ago
- ☆16Apr 20, 2012Updated 14 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years ago
- A tiny wiki engine. (Fossil Export)☆13Jul 16, 2026Updated last week
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Type-Level Programming in Rust☆29Dec 29, 2021Updated 4 years ago
- keyed functors☆23Jan 10, 2026Updated 6 months ago
- A fast globally unique variable supply with a pure API☆21Jun 26, 2023Updated 3 years ago
- the EitherT monad transformer☆60Mar 2, 2026Updated 4 months ago
- Small core of Roc, for experiments☆25Dec 21, 2024Updated last year
- a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly☆20Jun 26, 2010Updated 16 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 tool for keeping a personal log☆16Jan 1, 2025Updated last year
- Home of the KOLOS Linux distribution.☆19May 29, 2024Updated 2 years ago
- Very late bitcode and data binder☆19Feb 5, 2022Updated 4 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Obsolete. See http://github.com/greedy/scala☆11Jul 18, 2011Updated 15 years ago
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated last year
- ☆14Mar 29, 2024Updated 2 years ago
- This is not the Git repo you're looking for...☆25Jul 23, 2019Updated 7 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.
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- [DEPRECATED] Ethereum Verified Contracts☆12Jun 29, 2018Updated 8 years ago
- Scala reflection and serialization library☆16Oct 13, 2020Updated 5 years ago
- Make your Hibernate Search more Elastic ! WARNING : project suspended !☆16Apr 24, 2011Updated 15 years ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- This repository is for topologic and geometric data analysis.☆13Jul 2, 2022Updated 4 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- ☆38Apr 14, 2024Updated 2 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.
- Rust grammar for Lezer☆22Apr 15, 2026Updated 3 months ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Jan 10, 2026Updated 6 months ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Efficient and correct pagination!☆16May 22, 2026Updated 2 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- ☆11Dec 21, 2022Updated 3 years ago
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 5 years ago