☆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:
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Nov 25, 2015Updated 10 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- ACT community resources☆27Oct 3, 2019Updated 6 years ago
- K-SVD in Julia☆11Apr 30, 2019Updated 6 years ago
- WASM AST and syntax based on zio-parser.☆14Aug 8, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Ray Tracing in One Weekend written in Scala☆10Feb 10, 2019Updated 7 years ago
- Chrome extension to block some websites.☆12Jun 4, 2019Updated 6 years ago
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 3 months ago
- ☆16Jun 6, 2023Updated 2 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Updated this week
- 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☆27Jan 11, 2023Updated 3 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 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.
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- being a programming language for sequential circuits☆22Dec 8, 2025Updated 3 months ago
- ☆33Jan 5, 2016Updated 10 years ago
- Zero-configuration runner to automatically install and run End-to-End tests with Nightwatch and Selenium☆14Nov 8, 2019Updated 6 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- Local, minimal, key navigable tasks.☆11May 12, 2019Updated 6 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 5 years ago
- ☆30Dec 24, 2025Updated 3 months ago
- 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.
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆23Aug 7, 2025Updated 7 months ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- website source for Reactive Design Patterns☆12Oct 16, 2022Updated 3 years ago
- A complete example about a multiplatform application using Kotlin and React☆10Feb 22, 2019Updated 7 years 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
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- A type-safe Actor class and WiredActor for sending functions as messages☆19Feb 12, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Property Based Testing in C++ using RapidCheck☆12Nov 8, 2017Updated 8 years ago
- Dhall Syntax Highlighting for VS Code☆18Mar 2, 2026Updated 3 weeks ago
- Lagom Scala shopping cart sample application☆12May 9, 2019Updated 6 years ago
- OCaml library to produce vega-lite visualizations (as json objects)☆17Aug 17, 2022Updated 3 years ago
- 💸💸💸 A simplified Blockchain implementation in Scala based on the specifications of Bitcoin.☆13May 13, 2018Updated 7 years ago
- 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