-
hsresumebuilder Public
Forked from joehealy/hsresumebuilderHaskell CLI tool to build a resume (CV) from a YAML file
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 24, 2025 -
tensorflow-playground Public
making experiments inside google's tensorflow playground so I can visualize the results
TypeScript Apache License 2.0 UpdatedJun 23, 2025 -
klister Public
an implementation of stuck macros
-
mcp-cli Public
a simple MCP server allowing VS Code to run a specific shell command without asking
-
system-l Public
as presented by Zanzi Mihejevs at https://www.youtube.com/watch?v=0Qg_RnSHyhU
Idris UpdatedJun 16, 2025 -
-
jira-dependencies Public
from JIRA's .csv export to graphviz's dot format
-
staged-diamond-calculus Public
a variant of Pfenning-Davies with Diamond instead of Box
-
dot-utils Public
A set of small command-line tools for transforming GraphViz dot-files
-
-
hint Public
Forked from haskell-hint/hintRuntime Haskell interpreter (GHC API wrapper)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 26, 2024 -
gc-tester Public
a console UI tool to control how much garbage to generate and measure the effect on garbage collection
Haskell UpdatedMay 6, 2024 -
acme-tiny-rules Public
a parody of Tiny Glade with inference rules instead of castles
-
mgmt Public
Forked from purpleidea/mgmtNext generation distributed, event-driven, parallel config management!
Go GNU General Public License v3.0 UpdatedMay 4, 2024 -
typelevel-rewrite-rules Public
rewrite rules for type-level equalities
-
-
hawk Public
Haskell text processor for the command-line
-
agda-playground Public
a series of ambitious experiments in the functional language / proof assistant Agda.
-
-
-
stm-variants Public
The STM API we know and love, but useable in more circumstances
-
n-ary-functor Public
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
-
-
-
dotfiles Public
My default setup, including config files and shell scripts.
-
-
nominalize Public
Generate types using type-generic programming, retaining control over the names of the constructors and the fields.
-
cborg Public
Forked from well-typed/cborgBinary serialisation in the CBOR format
Haskell UpdatedMar 6, 2023 -
streaming-async Public
Run multiple computations from the "streaming" library concurrently and combine the results.
HTML UpdatedFeb 18, 2023 -
tiny-games-hs Public
Forked from haskell-game/tiny-games-hsRules for & examples of tiny haskell games
Haskell UpdatedFeb 9, 2023
{{ message }}