anka-213

manim

Animation engine for explanatory math videos

v86

x86 PC emulator and x86-to-wasm JIT, running in the browser

cheat-engine

Cheat Engine. A development environment focused on modding

robotnix

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

awesome-decompilation

A curated list of awesome decompilation resources and projects.

microprocessor-trend-data

Data repository for my blog series on microprocessor trend data.

worldmodels.github.io

World Models

nix-diff

Explain why two Nix derivations differ

nix-env-selector

Allows switch environment for Visual Studio Code using Nix Package Manager.

nixos-up

The fastest NixOS install there is! 🏎️🏁

nix-template

Make creating nix expressions easy

dynamic

Dynamic typing in Haskell

agda-mode-vscode

agda-mode on VS Code

babelfish

Translate bash scripts to fish

awesome-cabal

💫 A curated list of awesome resources for the Haskell Cabal build tool.

pier

Yet another Haskell build system.

home-manager-template

A quick-start template for using home-manager in a more reproducible way.

vgrep

A pager for grep

ghc-nix

Exploring the options for incremental Haskell builds using Nix

haskell-WAT

A collection of Haskell's WATs

nix-cookbook

A cookbook of snippets that show you how you can accomplish common tasks using the Nix expression language

nixkell

A simple Nix-Haskell skeleton

casttube

YouTube Chromecast API

h

faster shell navigation of projects

misc-gitology

An assortment of scripts around Git

z-quantum-core

agda-mode

Accessing Agda's interaction mode via command line & external tactic for Agda.

groovy-lambda

VS Code color theme optimised for Haskell, based on Gruvbox Material.

linear-haskell

linear haskell playground

wenkokke