|
About the Show and Tell category
|
|
0
|
757
|
February 17, 2019
|
|
Waterfall CAD Examples: Some Flags
|
|
2
|
82
|
November 4, 2026
|
|
Haskell app for building DJ sets/playlists and providing "next track" recommendation
|
|
2
|
238
|
November 2, 2026
|
|
Stepping into arbitrary monads from a REPL
|
|
0
|
193
|
October 31, 2026
|
|
LLMLL: a language for agent-written code, with a Haskell compiler that emits liquid-fixpoint constraints directly
|
|
2
|
173
|
October 30, 2026
|
|
Kalesvolgh - a text editor in haskell, brick and all
|
|
6
|
807
|
October 28, 2026
|
|
New Functionality in Waterfall-CAD
|
|
4
|
263
|
October 26, 2026
|
|
Haskell.ing, a Haskell Learning site
|
|
2
|
351
|
October 24, 2026
|
|
Haskoki: a PKCS#11 software token (a playground for experiments, not a production HSM)
|
|
0
|
129
|
October 20, 2026
|
|
[RFC] yamlet: a YAML 1.2 library
|
|
6
|
455
|
October 11, 2026
|
|
Lask — a task runner with its own typed language, written in Haskell
|
|
4
|
736
|
October 10, 2026
|
|
Ghc now runs in your browser
|
|
34
|
28325
|
October 7, 2026
|
|
Refine polynomial types
|
|
7
|
505
|
October 3, 2026
|
|
Rust-style Attribute Macro in Haskell, using GHC 10 Modifiers Extension
|
|
10
|
763
|
September 26, 2026
|
|
First Draft: Little Haskell Compiler Adventures: The SECD Machine
|
|
16
|
1286
|
September 15, 2026
|
|
Case-split plugin at GSoC 2026 - Retrospective
|
|
1
|
330
|
September 14, 2026
|
|
Effectful is better at running unspecialized mtl-style code than transformers
|
|
3
|
1421
|
September 9, 2026
|
|
Haskue: exploring CUE evaluation in Haskell
|
|
4
|
433
|
September 5, 2026
|
|
Welcome again the Case Split plugin for HLS
|
|
9
|
716
|
September 4, 2026
|
|
Experiments with Template Haskell, SQL, and Records
|
|
9
|
392
|
September 3, 2026
|
|
Verifying Verifying Algorithm
|
|
3
|
459
|
August 29, 2026
|
|
Space.hs by Telorum
|
|
4
|
558
|
August 27, 2026
|
|
RFC: haskell bindings to procps and higher-level library
|
|
2
|
262
|
August 17, 2026
|
|
Ghc-vis-ds: a modern port of ghc-vis with a Datastar frontend
|
|
0
|
206
|
August 6, 2026
|
|
Designing a Hook in Haskell (Video)
|
|
0
|
156
|
July 31, 2026
|
|
Cabal-add: extend Cabal build-depends from the command line
|
|
36
|
4666
|
July 27, 2026
|
|
Openleetcode – LeetCode runner where tests live in the repo
|
|
4
|
410
|
July 19, 2026
|
|
Espial bookmarking server
|
|
7
|
433
|
July 16, 2026
|
|
Haskell Active Automata Learning
|
|
0
|
209
|
July 15, 2026
|
|
I've been working on a Haskell Powered CAD Playground
|
|
6
|
557
|
July 10, 2026
|