UI experiments for coda
☆69Sep 23, 2021Updated 5 years ago
Alternatives and similar repositories for codex
Users that are interested in codex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A language experiment -- irc.freenode.net ##coda☆163Apr 10, 2024Updated 2 years ago
- ☆18Jul 24, 2025Updated last year
- Push-pull implementation of discrete FRP with totally-ordered switchers☆11Jan 30, 2017Updated 9 years ago
- HM type system on a very restricted subset of JS☆13May 13, 2018Updated 8 years ago
- ☆18Nov 18, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- High-performance JSON parser☆26Jul 14, 2025Updated last year
- General purpose bi-directional codecs☆16Oct 20, 2023Updated 3 years ago
- infinite search in finite time with Hilbert's epsilon☆12Nov 4, 2017Updated 8 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago
- 🎒 Backpack interface for containers☆32Nov 6, 2020Updated 5 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- Stacks and queues with compact representations☆16Sep 3, 2020Updated 6 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.
- The Str signature and implementations☆20May 28, 2017Updated 9 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆277Jan 20, 2026Updated 9 months ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 4 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Generically derive traversals, lenses, and prisms.☆442Aug 27, 2025Updated last year
- Haskell Standard Input and Output☆46May 13, 2018Updated 8 years ago
- every day i'm truffling☆75Sep 22, 2026Updated last month
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 7 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- Implementing Quake 3 in Haskell & Vulkan☆166Apr 29, 2020Updated 6 years ago
- Minimalistic file explorer, written in Haskell.☆18Jan 20, 2019Updated 7 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.
- spaceships in space☆71Oct 25, 2020Updated 6 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- experimenting with STM-backed read-copy-update in Haskell☆19Oct 19, 2025Updated last year
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 8 years ago
- ☆24Jan 8, 2021Updated 5 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- A Haskell library for open records and variants using closed type families and type literals☆113Jul 10, 2022Updated 4 years ago