Pinned Repositories
.doom.d
exwm on doom emacs (mostly stolen from @jethrokuan)
cubalt
Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it
how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
maschinen
nixops configs for systems i control
noether
Highly polymorphic algebraic structures with custom deriving strategies
preposterous
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
rien
Predictable Haskell development environments with Cabal and Nix.
shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
silica
optics for Haskell with the most amazing type errors you've seen
sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
evertedsphere's Repositories
evertedsphere/shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
evertedsphere/noether
Highly polymorphic algebraic structures with custom deriving strategies
evertedsphere/maschinen
nixops configs for systems i control
evertedsphere/.doom.d
exwm on doom emacs (mostly stolen from @jethrokuan)
evertedsphere/nix-config
evertedsphere/bazel-skylib
Common useful functions and rules for Bazel
evertedsphere/cubalt
Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it
evertedsphere/async-sqlx-session
evertedsphere/cargo-leptos
Build tool for Leptos (Rust)
evertedsphere/community
Stores documents used by the TensorFlow developer community
evertedsphere/config
evertedsphere/defaults.nvim
A small, featureful neovim template
evertedsphere/dist-db-benchmark
evertedsphere/doobie
Functional JDBC layer for Scala.
evertedsphere/doom-modeline
A fancy and fast mode-line inspired by minimalism design.
evertedsphere/dotfiles
evertedsphere/epub-char-counter
evertedsphere/evertedsphere.github.io
evertedsphere/gitignore
A collection of useful .gitignore templates
evertedsphere/graphql-engine
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
evertedsphere/Idris2
A dependently typed programming language, a successor to Idris
evertedsphere/kcc
k crash course
evertedsphere/llvm-hs-examples
Examples for Haskell bindings to LLVM
evertedsphere/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)
evertedsphere/nixpkgs
Nix Packages collection
evertedsphere/rust-analyzer
A Rust compiler front-end for IDEs
evertedsphere/tl
Fast, zero-copy HTML Parser written in Rust
evertedsphere/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
evertedsphere/viaduct
evertedsphere/website
sources