~cypheon

https://sinyax.net/

~cypheon/idris2-quickdocs

Fast Idris2 Doc Browser with Fuzzy Matching

~cypheon/Idris2

Personal fork of https://github.com/idris-lang/Idris2

~cypheon/rapid

LLVM Backend and Native Runtime for Idris2

~cypheon/trakka

Self-hosted exercise tracking

~cypheon/nextcloud-chores-app

Nextcloud App to Manage Chores

~cypheon/nextcloud-chores-android

Android Frontend for the Nextcloud App "Chores"

~cypheon/idris-minisat

Tiny SAT Solver in Idris 2 using Linear Types

~cypheon/kicad2spice

Generate SPICE netlists from Kicad Eeschema files

~cypheon/ocaml-apfs

(read-only) access APFS disks / images from OCaml

~cypheon/ocaml-spice

Parse Netlists in (NG)SPICE Format

~cypheon/elfelli

Calculate and visualize electric flux lines around charged bodies

~cypheon/xos

A tiny toy x86 OS with multi tasking

~cypheon/ocaml-docset

An updated OCaml docset for Dash

~cypheon/ecertmon

Erlang TLS Certificate Expiration Monitor (Prometheus Exporter)

~cypheon/livetools

Live-updating versions of classic *nix binaries

1 / 2