Kleidukos

Hécate's starred repositories

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Language:HaskellBSD-3-Clause35900

log

Structured logging solution.

Language:HaskellBSD-3-Clause3300

pallas

An event sourced, purely functional operating system.

Language:HaskellNOASSERTION1000

cq2

Tool for RFCs

Language:TypeScriptAGPL-3.030300

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++GPL-2.04236700

pico

Minimal CSS Framework for semantic HTML

Language:CSSMIT1305400

horrible_things

A blog post and accompanying code full of unspeakably horrible things

Language:HaskellGPL-3.0100

cabal-check-det

Developer script to compare objects produced by GHC for a Cabal package

Language:Shell100

ghciwatch

Load a GHCi session for a Haskell project and reload it when source files change

Language:RustMIT10100

cli

Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

Language:JavaScriptLGPL-2.11790100

nanoserde

Serialisation library with zero dependencies

Language:Rust65200

MicroCabal

Reimplementation of a subset of Cabal

Language:HaskellApache-2.01900

bearlibterminal-hs

Low level Haskell bindings to the BearLibTerminal graphics library.

Language:Haskell500

piku

The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

Language:PythonMIT564700

speedscope

🔬 A fast, interactive web-based viewer for performance profiles.

Language:TypeScriptMIT541000

wasm-hs

Type-safe WebAssembly eDSL in Haskell

Language:HaskellGPL-3.01700

insane

Toy typechecker for Insanely Dependent Types

Language:Haskell7900

wander

wander - the Wasm Renderer

Language:CMIT65800

trace-foreign-calls

GHC plugin to add eventlog tracing for foreign function calls

Language:Haskell1400

typed-session

https://hackage.haskell.org/package/typed-session

Language:HaskellMIT700

HPi

Library to access the GPIO pins on a Raspberry Pi from Haskell.

Language:HaskellBSD-3-Clause4400

creatur

Framework for artificial life and other evolutionary algorithms.

Language:HaskellNOASSERTION3000

ngtcp2

ngtcp2 project is an effort to implement IETF QUIC protocol

MIT100

libui-ng

libui-ng: a portable GUI library for C. "libui for the next generation"

Language:CMIT60400

search-algorithms

Haskell library containing common graph search algorithms

Language:HaskellBSD-3-Clause5100

tabs

accessible, unstyled, API-less tabs

Language:HTMLNOASSERTION1300

reset.css

a css reset for 2024 and beyond.

Language:CSS31200

automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Language:JavaScriptMIT367100

squarehole

That's right. It goes in the square hole!

Language:HaskellNOASSERTION100

lucid

Clear to write, read and edit DSL for writing HTML

Language:Haskell28000