~cypheon

https://sinyax.net/

~cypheon/NetBSD

Porting NetBSD to rk3588-based Rock 5B

~cypheon/rapid

LLVM Backend and Native Runtime for Idris2

~cypheon/Idris2

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

~cypheon/sofa

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

~cypheon/grocery-monster-android

Offline-first shopping list

~cypheon/grocery-monster-web

Offline-first shopping list

~cypheon/nextcloud-chores-app

Nextcloud App to Manage Chores

~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

1 / 2