Pinned Repositories
afterrain
Add some colors to your terminal
agenix.el
Transparent editing for agenix secrets inside Emacs
aoc2022-nix
Advent of Code 2022, but in nix
cgt-tools
Combinatorial Game Theory toolkit
DashAI
Geometry Dash AI
Digital-Logic-Sim
This is a fork of Sebastian Lague's repo with implemented feature ideas from issues. Each feature has dedicated branch
exnihilo
Language agnostic project bootstraper
nix-org-export
Export org files to pdf as nix outputs
Noisy
C# library for generating various noises
wai-session-redis
Redis based session store for Network.Wai.Session
t4ccer's Repositories
t4ccer/agenix.el
Transparent editing for agenix secrets inside Emacs
t4ccer/aoc2022-nix
Advent of Code 2022, but in nix
t4ccer/cgt-tools
Combinatorial Game Theory toolkit
t4ccer/enderton-lean
Lean solutions to "A Mathematical Introduction to Logic"
t4ccer/just
Just a collection of zero dependency (only stdlib) graphics related libraries and programs.
t4ccer/monokaish-logseq
Monokaish theme for logseq
t4ccer/porth-bootstrap
Nix-based infrastructure to bootstrap porth compiler
t4ccer/viz-js-rs
Rust + Wasm bindings for Graphviz
t4ccer/aoc2023-llvm-ir
Advent of Code 2023 in LLVM IR
t4ccer/arewehackersyet
Tracking the availability of Kali Linux packages in NixOS
t4ccer/cardano-token-registry
t4ccer/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
t4ccer/CIPs
t4ccer/dream2nix
Automate reproducible packaging for various language ecosystems [maintainer=@DavHau]
t4ccer/el
My Emacs config
t4ccer/elsa
Append-only collections for Rust where borrows to entries can outlive insertions
t4ccer/flamegraph
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
t4ccer/KaTeX
Fast math typesetting for the web.
t4ccer/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
t4ccer/logseq-localassets-plugin
t4ccer/mathlib4
The math library of Lean 4
t4ccer/melpa
Recipes and build machinery for the biggest Emacs package repo
t4ccer/monokaish.el
Monokaish theme for emacs
t4ccer/nixpkgs
Nix Packages collection
t4ccer/plutus
The Plutus language implementation and tools
t4ccer/ply
A helper library for working with compiled, parameterized Plutus Scripts
t4ccer/pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
t4ccer/rage
A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.
t4ccer/servant-typescript
TypeScript client generation for Servant
t4ccer/t4.nix
Opinionated nix utilities