old personal static blog website made with haskell
☆15Feb 29, 2020Updated 6 years ago
Alternatives and similar repositories for blog.coldflake
Users that are interested in blog.coldflake are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell Cheat Sheets☆23Mar 5, 2014Updated 12 years ago
- Attempto Controlled English parser and printer☆15Feb 18, 2015Updated 11 years ago
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 9 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 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.
- Source of my personal blog at xinitrc.de☆18Sep 20, 2016Updated 9 years ago
- A generator for JSON Schema from Algebraic Data Type in Haskell.☆13Nov 7, 2019Updated 6 years ago
- Latex resume template☆12Mar 29, 2012Updated 14 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 10 years ago
- Haskell library for drawing the Rubik's Cube☆16May 3, 2024Updated 2 years ago
- My Hakyll-based blog☆18Nov 30, 2018Updated 7 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Haskoin Store is a blockchain storage service with a RESTful API☆29Aug 22, 2026Updated last week
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Oct 29, 2020Updated 5 years ago
- Fixed length vector for haskell☆22Jun 17, 2026Updated 2 months ago
- imacs - possibly the Worlds Smallest Emacs clone! Meant to be embeddeble in nodemcu / eps8266☆23Mar 4, 2017Updated 9 years ago
- uphclean clone for Mac OS X☆13Oct 21, 2021Updated 4 years ago
- Transclusion of files in emacs☆15Jan 27, 2020Updated 6 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Updated this week
- Frege interface to Android☆15Sep 16, 2015Updated 10 years ago
- Simple LaTeX☆17Apr 26, 2024Updated 2 years ago
- Munki Sysadmin Usability Improvement Toolkit☆10May 6, 2019Updated 7 years 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.
- Unmaintained, archived. Superseded by bibtex-capf: https://codeberg.org/mclear-tools/bibtex-capf☆12May 30, 2026Updated 3 months ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Jun 10, 2019Updated 7 years ago
- Pseudo-command-line (experimental)☆16Oct 28, 2016Updated 9 years ago
- Stub project showing how to organize tests and benchmarks in Haskell☆26Jun 14, 2018Updated 8 years ago
- Probabilistic Logic Semantics☆17Feb 10, 2017Updated 9 years ago
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 years ago
- Remembrance Agents for Org-mode, powered by Recoll☆18Jan 9, 2020Updated 6 years ago
- RSS publishing for App.net☆35Mar 27, 2014Updated 12 years ago
- Intel Concurrent Collections for Haskell. Library and parallel runtime(s). Now on github rather than darcs.☆17Aug 12, 2011Updated 15 years 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.
- Learn Haskell☆19Jul 1, 2014Updated 12 years ago
- FlashCard open source website https://izidict.com☆29Jan 9, 2019Updated 7 years ago
- An iPhone-based cough button for your Mac using PHP and MuteMyMic☆18Oct 24, 2012Updated 13 years ago
- A simple document store library for Git + JSON. | now on https://codeberg.org/valpackett/gitson☆17Oct 15, 2022Updated 3 years ago
- the djot document compiler☆16Jun 7, 2023Updated 3 years ago
- ☆10Sep 2, 2015Updated 10 years ago
- An opinionated CSS reset for web *apps*.☆16Dec 17, 2013Updated 12 years ago