Pinned Repositories
services-flake
NixOS-like services for Nix flakes
obelisk
Functional reactive web and mobile applications, with batteries included.
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
ema
Change-aware static site generator for Haskell programmers
emanote
Emanate a structured view of your plain-text notes
haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
neuron
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
nixos-config
KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)
nixos-unified
Unify NixOS + nix-darwin + home-manager configuration in a single flake, while providing a consistent interface at DX and UX level.
rust-nix-template
Rust project template with Nix (Flakes) and VSCode support
srid's Repositories
srid/rib
Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
srid/neuron-template
A template to get started with neuron
srid/reflex-stone
Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.
srid/monorepo-nix-template
Make monorepos with Nix flakes
srid/agda-template
Imperfect Agda project template using Nix
srid/cardano-here
srid/Awesome-list-of-Haskell-mentors
An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
srid/emanima
WIP https://github.com/EmaApps/ideas/issues/6
srid/abacateiro
Early WIP — will be an app for visualizing and publishing math-related org-roam databases
srid/apropos
Propositional Logic Apropos Types
srid/apropos-tx
Better testing for Plutus
srid/comonad-examples
srid/concat
Compiling to Categories
srid/directory-contents
Recursively build a tree of directory contents, avoiding symlink cycles
srid/flake-parts
Core of a framework for writing flakes. Assemble your flakes with modules!
srid/hercules-ci-effects
Expressions to change the world
srid/hspec
A Testing Framework for Haskell
srid/IHaskell
A Haskell kernel for IPython.
srid/ihaskell-demo
srid/morphdom
Fast and lightweight DOM diffing/patching (no virtual DOM needed)
srid/nix-refresh-bug
srid/org-parser
An Org Mode parser written in Haskell with customizable HTML exporter.
srid/purescript-docs-search
Search frontend for the documentation generated by the PureScript compiler
srid/purescript-tools
srid/purs-nix
Manage your PureScript projects with Nix!
srid/telegram-groups
Awesome Telegram Groups
srid/treefmt
One CLI to format the code tree
srid/validity
Validity and validity-based testing
srid/zfoh.ch
Our homepage
srid/zk-1
A plain text note-taking assistant