srid Goto Github PK

.doom.d-old

My Doom Emacs configuration

.hammerspoon

My hammerspoon config

2020-06-29-zk

Zettelkasten as neuron

2020-06-29-zkt

3d-force-graph

3D force-directed graph component using ThreeJS/WebGL

4clojure

An interactive problem website for learning Clojure

aagadaa

abacateiro

Early WIP — will be an app for visualizing and publishing math-related org-roam databases

actual

A fortune database of actualism quotes that can be nix run'ed.

aeson

A fast Haskell JSON library

aeson-gadt-th

Template Haskell for generating ToJSON and FromJSON instances for GADTs

af-zoomed-mnemonic

agda-template

Imperfect Agda project template using Nix

alga

Algebraic graphs

algebraic-graphs-patch

Patch data structure and algorithms for algebraic-graphs

alien-psychology

3rd Rock From The Sun episodes tagged with psychological concepts

amazon_fiona

A python library for managing online Kindle content

anima

Playground for creating animations programatically

aoc2019

Srid's solutions to Advent of Code 2019 in Haskell

appdirs

A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".

apropos

Propositional Logic Apropos Types

apropos-tx

Better testing for Plutus

arion

Run docker-compose with help from Nix/NixOS

articles

Published articles that I maintain

autodocodec

self(auto)- documenting encoders and decoders

awesome-dioxus

An awesome list of Dioxus-related content and resources

awesome-humane-tech

Promoting Solutions that Improve Wellbeing, Freedom and Society

awesome-leptos

A collection of awesome libraries in the Leptos ecosystem.

awesome-list-of-haskell-mentors

An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]