Pinned Repositories
bear
A simple utility for easy sleep.
clojure-sheets
A Clojure/Script library to access data from Google Sheets
EQLizr
A Clojure/Script library to transform your database into EQL graph resolvers using Pathom Connect
flexblock
Flexblock is an application to manage student-teacher meetings, designed with student contributions in mind.
idris2-http-types
masonic
Wrapper around ProjectMason to spread to other platforms
missionary-websocket
A missionary-compatible interface to JS WebSockets.
ProjectMason
systemic
Guix (System) configuration
ReilySiegel's Repositories
ReilySiegel/missionary-websocket
A missionary-compatible interface to JS WebSockets.
ReilySiegel/idris2-http-types
ReilySiegel/masonic
Wrapper around ProjectMason to spread to other platforms
ReilySiegel/a1-gettingstarted
Assignment #1 for Webware
ReilySiegel/systemic
Guix (System) configuration
ReilySiegel/a2-shortstack
Assignment #2 for Webware, 2022
ReilySiegel/a3-persistence
Assignment #3 for Webware 2022
ReilySiegel/a4-components
ReilySiegel/Audio-Journal-Android
ReilySiegel/cider
The Clojure Interactive Development Environment that Rocks for Emacs
ReilySiegel/dwl-guile
Dynamic tiling Wayland compositor configurable in Guile Scheme, based on dwl and libguile - now with a REPL!
ReilySiegel/electric
a reactive Clojure dialect for web development that uses a compiler to infer the frontend/backend boundary
ReilySiegel/final_project
ReilySiegel/guix
Systemic's fork of Guix
ReilySiegel/idris2-ansi
ANSI Escape Sequences in Idris
ReilySiegel/idris2-http
a http(s) client in idris
ReilySiegel/idris2-http-async
ReilySiegel/idris2-pack-db
ReilySiegel/idris2-tls
A portable idris2 implementation of TLS
ReilySiegel/magit-email
ReilySiegel/methodical
Functional and flexible multimethods for Clojure. Nondestructive multimethod construction, CLOS-style aux methods and method combinations, partial-default dispatch, easy next-method invocation, helpful debugging tools, and more.
ReilySiegel/missionary
A functional effect and streaming system for Clojure/Script
ReilySiegel/monad-bayes
A translation of the probabilistic language MonadBayes from Haskell to Idris2.
ReilySiegel/obw
Open Bitcon Wallet (OBW) is a lightweight Android Bitcoin and Lightning wallet
ReilySiegel/ocis
:atom_symbol: ownCloud Infinite Scale Stack
ReilySiegel/pathom3
A library for navigating data.
ReilySiegel/personal-website
Code that'll help you kickstart a personal website that showcases your work as a software developer.
ReilySiegel/prob-fx
An experimental port of the probabilistic language ProbFX from Haskell to Idris2.
ReilySiegel/resume
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
ReilySiegel/squawker
An open-source anonymous Twitter/X client