-
chshersh.github.io Public
💛 My website
-
github-tui Public
🌒 A TUI for GitHub
-
aoc-2025 Public
Advent of Code 2025 (in C++ and FP)
-
cis194-haskell-in-cpp Public
Implementing CIS 194 (2013) Haskell course in C++
-
zbg Public
✨ Zero Bullshit Git
-
-
ccl Public
📜 CCL: Categorical Configuration Language, The most elegant configuration language
-
-
ansifmt Public
Forked from qexat-archive/ansifmtA simple, lightweight library for ANSI formatting with powerful features such as a tokenization-based system for pretty-printing code in the terminal.
-
minttea Public
Forked from leostera/mintteaA fun little TUI framework for OCaml
OCaml MIT License UpdatedDec 20, 2024 -
pragmatic-category-theory Public
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
-
ocaml.org Public
Forked from ocaml/ocaml.orgThe official OCaml website.
HTML Other UpdatedDec 18, 2024 -
tool-sync Public
🧰 Download pre-built binaries of all your favourite tools with a single command
-
ocamlformat Public
Forked from ocaml-ppx/ocamlformatAuto-formatter for OCaml code
OCaml MIT License UpdatedDec 26, 2023 -
aoc2023 Public
Advent of Code 2023 in OCaml
-
iris Public
🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
-
-
ghc-plugin-non-empty Public
🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
-
sauron Public
👁🗨 The eye that watches everything you did on Twitter
-
dr-cabal Public
📊 Haskell dependencies build times profiler
-
talks Public
📽 Extra materials for my talks
-
haskell-exercises Public
Forked from haskell-beginners-2022/exercises💻 Exercises for the Haskell Beginners 2022 course
-
-
haskell-hedgehog-classes Public
Forked from hedgehogqa/haskell-hedgehog-classesHedgehog will eat your typeclass bugs
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 9, 2022 -
rogue-lang Public
Compiler for Rogue programming language
-
haskell-course-assistant Public archive
This repository contains tools for simplifying FP-course maintenance and automate teaching processes.
-
retroactive-priority-queue Public
implementation of partially retroactive priority queue (including its visualization) with O(log m) update time and O(log n) query
-
-
{{ message }}