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
- Compact static website tool for Cool URIs☆24Dec 6, 2021Updated 4 years ago
- Attempto Controlled English parser and printer☆15Feb 18, 2015Updated 11 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 8 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 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.
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 6 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 years ago
- Documentation for the diagrams project☆20Mar 25, 2026Updated 5 months ago
- 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 11 years ago
- Create DOM event handlers that write to listeners☆22May 15, 2016Updated 10 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 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.
- Haskoin Store is a blockchain storage service with a RESTful API☆29Aug 31, 2026Updated 2 weeks ago
- 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 3 months ago
- Simple script, which acts as "interpreter" for single C++ files☆15Apr 29, 2023Updated 3 years ago
- RecollFs - FUSE filesystem using Recoll index, showing filtered files in directories.☆16Aug 9, 2014Updated 12 years ago
- Write user stories in markdown, list the implementation tasks for each (with an estimation range), publish an interactive estimation docu…☆10May 31, 2017Updated 9 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Aug 25, 2026Updated 3 weeks ago
- Frege interface to Android☆15Sep 16, 2015Updated 11 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.
- A Gradle plugin to pretty-log JUnit Jupiter tests when run from the Gradle test task. Nested tests are grouped together and the output st…☆13Nov 11, 2024Updated last year
- Simple LaTeX☆17Apr 26, 2024Updated 2 years ago
- Munki Sysadmin Usability Improvement Toolkit☆10May 6, 2019Updated 7 years ago
- Unmaintained, archived. Superseded by bibtex-capf: https://codeberg.org/mclear-tools/bibtex-capf☆12May 30, 2026Updated 3 months ago
- Customisations to client resources☆11Jan 22, 2019Updated 7 years ago
- ☆28Sep 4, 2017Updated 9 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
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 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.
- 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
- Learn Haskell☆19Jul 1, 2014Updated 12 years ago
- socket.io for haskell folks☆24Apr 25, 2015Updated 11 years ago
- FlashCard open source website https://izidict.com☆29Jan 9, 2019Updated 7 years ago
- A demo Haskell Android app to calculate option prices by Monte Carlo simulation☆15Feb 17, 2014Updated 12 years ago