serokell / blog-postsLinks
The place for submitting new articles to the Serokell blog.
☆16Updated last year
Alternatives and similar repositories for blog-posts
Users that are interested in blog-posts are comparing it to the libraries listed below
Sorting:
- Reimplementation of a subset of Cabal☆35Updated 2 weeks ago
- Source material for Certainty by Construction☆48Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Single Page Web Applications in Idris☆27Updated 2 months ago
- Core modules for a blazing fast markup combinator library☆24Updated 8 months ago
- classical sequent calculus, embedded in Haskell☆21Updated 5 months ago
- Awesome Agda Programming☆18Updated 4 months ago
- The https://ghc.dev Website Generator☆21Updated last year
- A haskell tutorial using CodeWorld☆19Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 3 months ago
- A template for idris projects☆11Updated 4 years ago
- LLVM code generation in Haskell☆54Updated last year
- Haskell port of the Nanopass Compiler Framework☆23Updated last month
- The Iowa Agda Library☆53Updated 2 months ago
- lucid + htmx = lucid-htmx☆19Updated last year
- Fast higher-order effect handlers with evidence passing☆21Updated 2 years ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Classical Logic in Haskell☆24Updated 2 months ago
- ☆15Updated 6 years ago
- ☆23Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Interpret Haskell programs into any cartesian closed category.☆69Updated this week