Archives Soup.io pages
☆15Jul 17, 2020Updated 6 years ago
Alternatives and similar repositories for schlabber
Users that are interested in schlabber are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- ☆14Updated this week
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- Android app interacting with Dotti bluetooth device☆11Dec 25, 2016Updated 9 years ago
- 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.
- ☆11Jul 8, 2020Updated 6 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- After KernelUpgrade Loadable Modules☆13Mar 22, 2021Updated 5 years ago
- simple commandline audio preview of directories for sample-artists / musician and producers☆14Jan 21, 2022Updated 4 years ago
- Android Clone App Detector☆17Jun 14, 2019Updated 7 years ago
- A Python script to brute force Curve25519 Keys to be used with wireguard and search for a given string in its b64 encode.☆11Sep 1, 2026Updated last month
- Interfacing with the Witti Dotti Bluetooth LE display device☆10Feb 6, 2018Updated 8 years ago
- AngularJS directive for Elm modules with interoperation via ports☆13Jan 17, 2019Updated 7 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.
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Fill the top of clear skies in stitched panoramas☆11Feb 20, 2024Updated 2 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- Java Library with common used methods and classes for European Digital Green Certificate Services.☆14May 14, 2024Updated 2 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Audio Visual IO tools for Isomer☆14Jun 6, 2020Updated 6 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 5 years ago
- Simply typed lambda calculus in cubical agda☆23Feb 22, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- research in Dex, OAT, ELF, .class, APK☆24Aug 7, 2020Updated 6 years ago
- introduction openFrameworks examples☆18Sep 24, 2011Updated 15 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 11 months ago
- LinguaLibre – Massive Open Audio Recording system☆13Jan 19, 2021Updated 5 years ago
- A library for reactive data visualizations (Work in progress)☆15Jul 20, 2016Updated 10 years ago
- HubMed☆13Apr 26, 2022Updated 4 years ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- ☆10Jun 18, 2019Updated 7 years ago
- Save your soup.io, literally☆11Feb 19, 2019Updated 7 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.
- A Q connection library for Python☆14Oct 30, 2014Updated 11 years ago
- An Arduino Library that allows one client Arduino to be used as an I/O extender for a manager Arduino☆21Aug 31, 2012Updated 14 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 6 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆14Dec 12, 2025Updated 10 months ago
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- A view of the whole world☆13Aug 7, 2025Updated last year
- Byte JS/HTML renderer☆12Sep 9, 2015Updated 11 years ago