☆30Feb 21, 2023Updated 3 years ago
Alternatives and similar repositories for Writing
Users that are interested in Writing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- WASM AST and syntax based on zio-parser.☆14Aug 8, 2023Updated 2 years ago
- Ray Tracing in One Weekend written in Scala☆10Feb 10, 2019Updated 7 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- Chrome extension to block some websites.☆12Jun 4, 2019Updated 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.
- Integers bounded by a closed interval☆14Apr 22, 2026Updated 3 weeks ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Mar 26, 2026Updated last month
- Just a place to throw general notes that don't belong to any particular library☆21Oct 25, 2014Updated 11 years ago
- Fonts from the SVG-Font format☆22Feb 15, 2025Updated last year
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆26Jan 11, 2023Updated 3 years ago
- Repository for general Typelevel information, activity and issues☆19Jan 19, 2022Updated 4 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 years ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- being a programming language for sequential circuits☆26May 6, 2026Updated 2 weeks 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.
- retire your mouse.☆18Nov 20, 2021Updated 4 years ago
- a collection of patches for BELA by bela.io☆15Dec 16, 2022Updated 3 years ago
- Akka-Http example build for the Raspberry Pi☆19Sep 3, 2020Updated 5 years ago
- ☆33Jan 5, 2016Updated 10 years ago
- Logo turtle graphics interpreter in Haskell☆20Oct 20, 2014Updated 11 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 4 years ago
- Local, minimal, key navigable tasks.☆11May 12, 2019Updated 7 years ago
- JSON Reference for Java with Jackson.☆22Jun 13, 2023Updated 2 years ago
- Deep learning via category theory and functional programming☆152May 4, 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.
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- ☆23Dec 7, 2021Updated 4 years ago
- Companies without centralization. A system for people who want to work together to build things, but don't want hierarchy or central cont…☆34Feb 17, 2026Updated 3 months ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Jan 4, 2023Updated 3 years ago
- SBT Auto Plugin to manage client side git hooks☆17Jan 4, 2024Updated 2 years ago
- Compiling an example http4s web service to a native executable using GraalVM Native Image☆29Feb 17, 2020Updated 6 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- node-pg wrapper for effect-ts☆13Jun 4, 2024Updated last year
- 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.
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- Property Based Testing in C++ using RapidCheck☆12Nov 8, 2017Updated 8 years ago
- Dhall Syntax Highlighting for VS Code☆18Mar 2, 2026Updated 2 months ago
- Lagom Scala shopping cart sample application☆12May 9, 2019Updated 7 years ago
- A type safe JS runtime☆20Apr 20, 2026Updated last month
- Concurrently Hot Reload any environments! HTTP reverse proxy with Hot Reload, CORS, cookies, origin, referer and external redirect overri…☆18Mar 5, 2024Updated 2 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated last year