evertedsphere

silica

optics for Haskell with the most amazing type errors you've seen

how-to-implement-dependent-type-theory

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

noether

Highly polymorphic algebraic structures with custom deriving strategies

shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

maschinen

nixops configs for systems i control

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)

bazel-skylib

Common useful functions and rules for Bazel

cubalt

Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it

async-sqlx-session

cargo-leptos

Build tool for Leptos (Rust)

community

Stores documents used by the TensorFlow developer community

config

defaults.nvim

A small, featureful neovim template

dist-db-benchmark

doom-modeline

A fancy and fast mode-line inspired by minimalism design.

dotfiles

epub-char-counter

evertedsphere.github.io

gitignore

A collection of useful .gitignore templates

graphql-engine

Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.

Idris2

A dependently typed programming language, a successor to Idris

kcc

k crash course

llvm-hs-examples

Examples for Haskell bindings to LLVM

mpv-config

Personal mpv configuration files and scripts (for syncing my computers). NOTE: my VO config is dynamic and relies on certain scripts (see corresponding comments in mpv.conf)

nixpkgs

Nix Packages collection

rust-analyzer

A Rust compiler front-end for IDEs

tl

Fast, zero-copy HTML Parser written in Rust

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

viaduct

website

sources