It's a blog. Insert clever Haskell type signature here.
☆24Feb 22, 2017Updated 9 years ago
Alternatives and similar repositories for Blog
Users that are interested in Blog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compositional pipelines☆19Aug 15, 2012Updated 13 years ago
- ANCIENT REPO. ARCHIVED. A Heroku buildpack for Haskell/Cabal applications☆20May 27, 2022Updated 4 years ago
- ☆17Jun 29, 2020Updated 6 years ago
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- This is my blog, I'm hosting it here on GitHub.☆23Feb 3, 2017Updated 9 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.
- Constraint-based generics☆51Jan 6, 2026Updated 6 months ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- sample code for functional lenses☆16Aug 20, 2015Updated 10 years ago
- System F-omega normalization by hereditary substitution in Agda☆63Aug 31, 2019Updated 6 years ago
- A practical unit-of-measure calculator DSL for Scala☆15May 20, 2016Updated 10 years ago
- The Scala 2.8 Collections API main types as dot graphes (GraphViz)☆16Aug 13, 2015Updated 10 years ago
- ☆15May 28, 2016Updated 10 years ago
- Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive comp…☆34Aug 8, 2025Updated 11 months 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.
- List of Accepted Papers to ICFP 2012, with Papers (preprints) linked☆24Jul 16, 2012Updated 14 years ago
- rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source☆15May 12, 2015Updated 11 years ago
- Dump GHC's abstract syntax trees☆41Apr 17, 2022Updated 4 years ago
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 7 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Mar 26, 2026Updated 3 months ago
- Threshold voting and execution for the IC☆11Apr 9, 2026Updated 3 months ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆22Jun 25, 2015Updated 11 years ago
- Logo turtle graphics interpreter in Haskell☆20Oct 20, 2014Updated 11 years ago
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 10 years ago
- Sqlite v3 driver for HDBC☆20Feb 3, 2019Updated 7 years ago
- Type debugger that is using logging infrastructure of the scala compiler to gather information and prefuse library for UI.☆17Aug 8, 2012Updated 13 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 12 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- Slides and example code from a training presentation on Scalaz 7☆26May 20, 2013Updated 13 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 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.
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- ☆114Jan 12, 2026Updated 6 months ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Haskell (GHCJS) bindings to the virtual-dom project☆26May 11, 2015Updated 11 years ago
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- Regular Expression Matching in Haskell☆34Feb 2, 2018Updated 8 years ago