~cypheon

https://sinyax.net/

~cypheon/nextcloud-chores-app

Nextcloud App to Manage Chores

~cypheon/NetBSD

Porting NetBSD to rk3588-based Rock 5B

~cypheon/sofa

A tiny embeddable document database for the JVM that supports replicating to/from CouchDB

~cypheon/rapid

LLVM Backend and Native Runtime for Idris2

~cypheon/Idris2

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

~cypheon/idris2-quickdocs

Fast Idris2 Doc Browser with Fuzzy Matching

~cypheon/elfelli

Calculate and visualize electric flux lines around charged bodies

~cypheon/trakka

Self-hosted exercise tracking

~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/xos

A tiny toy x86 OS with multi tasking

1 / 2