Tomasz Maciosowski's repositories
aoc2022-nix
Advent of Code 2022, but in nix
enderton-lean
Lean solutions to "A Mathematical Introduction to Logic"
monokaish-logseq
Monokaish theme for logseq
porth-bootstrap
Nix-based infrastructure to bootstrap porth compiler
aoc2023-llvm-ir
Advent of Code 2023 in LLVM IR
arewehackersyet
Tracking the availability of Kali Linux packages in NixOS
Language:Nix000
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
Language:PureScriptMIT000
Language:JavaScriptCC-BY-4.0000
el
My Emacs config
Language:Emacs LispGPL-3.0000
flamegraph
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
monokaish.el
Monokaish theme for emacs
ply
A helper library for working with compiled, parameterized Plutus Scripts
MIT000
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
Apache-2.0000
servant-typescript
TypeScript client generation for Servant
BSD-3-Clause000