🥤 | Toy parser combinator
☆23Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for soda
Users that are interested in soda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🧪 | Rinha de Backend Lean4☆68Sep 12, 2023Updated 3 years ago
- ☆15Aug 13, 2021Updated 5 years ago
- Meu próprio jardim digital☆16May 9, 2023Updated 3 years ago
- Pokemon Kanto gym Badges made with CSS 💙☆13Mar 1, 2023Updated 3 years ago
- An application designed to centralize the communication channel of a higher education institution. It utilizes Clean Architecture, testin…☆29Jul 29, 2024Updated 2 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.
- 🦊 | A language that compiles to LLVM and has algebraic effects☆111Nov 26, 2023Updated 2 years ago
- PIX dashboard☆13Jan 6, 2023Updated 3 years ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 11 months ago
- ☆19Sep 2, 2021Updated 5 years ago
- Reason hello world for Cloudflare Workers☆21Apr 23, 2026Updated 5 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Mar 25, 2022Updated 4 years ago
- ☆23Apr 23, 2023Updated 3 years ago
- [WIP] React Testing Library everywhere☆26Mar 30, 2026Updated 6 months ago
- A PHP micro-project for APIs.☆11Sep 7, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Nov 4, 2022Updated 3 years ago
- A simple todo list webapp☆11Jul 10, 2022Updated 4 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 6 years ago
- High speed low drag PHP using Docker☆12May 29, 2024Updated 2 years ago
- arena UI for bulljs runner☆15Oct 12, 2021Updated 5 years ago
- graphql vs rest☆26Mar 3, 2023Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Example of a BuckleScript monorepo setup☆31Jan 7, 2023Updated 3 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.
- Quickly create routes to test with your frontend☆13Aug 25, 2024Updated 2 years ago
- ✅ Schema validation made easy for ReScript☆35Jan 22, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Python Launcher for Windows☆13Apr 22, 2023Updated 3 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- Intern to CTO path☆12Jun 20, 2023Updated 3 years ago
- ☆10May 6, 2024Updated 2 years ago
- relay nextjs implementation☆11Jun 7, 2022Updated 4 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.
- 🌐 | HTTP primitives for Lean 4☆56Dec 23, 2025Updated 9 months ago
- Native, high-performance, cross-platform desktop apps - built with Reason!☆13Sep 8, 2025Updated last year
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- React Brazil contains formatting, validators and mask for brazillian like apps☆18Apr 14, 2026Updated 6 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- personal theme collection.☆17Apr 30, 2024Updated 2 years ago
- querySelectorAll in javascript☆11Aug 14, 2019Updated 7 years ago