the ill programming language & interpreter
☆13Oct 10, 2018Updated 8 years ago
Alternatives and similar repositories for pill
Users that are interested in pill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Create a zig type to easily decode json from a struct☆13Dec 29, 2019Updated 6 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- Live, interactive playground for Revery examples☆17May 19, 2019Updated 7 years ago
- Comptime radix tree in Zig☆23Oct 19, 2021Updated 5 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months 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 url shortener for the Deno stdlib☆14Feb 16, 2022Updated 4 years ago
- Read, write, and manipulate the Wasm WebIDL bindings custom section☆40Feb 3, 2020Updated 6 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 9 months ago
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- ☆15May 19, 2022Updated 4 years ago
- ☆13Aug 18, 2022Updated 4 years ago
- ☆14Jan 11, 2023Updated 3 years ago
- A gameboy emulator in zig☆14May 29, 2019Updated 7 years ago
- my zsh theme☆11Sep 14, 2021Updated 5 years 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.
- Tools for authors of ppx rewriters☆16Jan 7, 2021Updated 5 years ago
- Monitor temperature of macbook and keep it warm at specific temp.☆13Oct 4, 2016Updated 10 years ago
- A tiny generic colorscript strongly inspired by @roberoonska's dotfiles☆17Feb 5, 2016Updated 10 years ago
- ☆10Feb 18, 2018Updated 8 years ago
- Don't ask me how this works☆14Aug 6, 2020Updated 6 years ago
- playing around with ELF in zig☆14May 10, 2026Updated 5 months ago
- A machine learning model to detect whether a GitHub user has a custom or default avatar☆13Apr 15, 2022Updated 4 years ago
- Native reason + JSOO performance benchmarking tools☆20Apr 21, 2022Updated 4 years ago
- Modern programming language made in Rust☆15Jan 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Open-source decompilation of Disstrack☆12Oct 18, 2016Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.☆63Aug 18, 2019Updated 7 years ago
- A theorem prover☆17Aug 19, 2026Updated 2 months ago
- Disassemble your Rust project with Cargo☆19Apr 28, 2018Updated 8 years ago
- Surgery for generic data types☆26Jan 25, 2021Updated 5 years ago
- The official compiler for the Quartz programming language☆28May 3, 2018Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 4 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.
- /dev/amogus☆12May 31, 2021Updated 5 years ago
- A library for doing generic programming in Agda☆39Jan 27, 2021Updated 5 years ago
- a simple LÖVE console interface☆10Feb 23, 2017Updated 9 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- give folders & files keywords for easy finding☆15Mar 25, 2022Updated 4 years ago