Pinned Repositories
advent-of-code-2022
aur
abs-like command line tool to sync with the aur git repository
aurgit
sync script for the git clone of the aur from archlinux
aurtools
Tools for the Arch User Repository users
deploydots
A tool to symlink your git managed dotfiles into your home directory.
dotfiles
My dotfiles, managed by deploydots.
makizushi
Wrapper for archlinux devtools with the KISS philosophy.
memoir
A minimal cli diary.
salesman
sales(force) man(ager)
tagurit
Watches git, svn, and hg repos for new tags.
thomasdziedzic's Repositories
thomasdziedzic/advent-of-code-2022
thomasdziedzic/hackernews-etl
thomasdziedzic/lambda_calculus
thomasdziedzic/mysql-idris2
Mysql library for Idris2.
thomasdziedzic/xfinity-etl
thomasdziedzic/antlr4rust
ANTLR4 parser generator runtime for Rust programming laguage
thomasdziedzic/audited
Audited (formerly acts_as_audited) is an ORM extension that logs all changes to your Rails models.
thomasdziedzic/automat
Control computers by combining interactive blocks
thomasdziedzic/dbt
thomasdziedzic/dependent-types-tutorial
thomasdziedzic/eventstore
Event store using PostgreSQL for persistence
thomasdziedzic/finnhub_api
thomasdziedzic/hackernews-fill-gaps
thomasdziedzic/Idris2
A purely functional programming language with first class types
thomasdziedzic/idris2-pack
thomasdziedzic/lambda-calculus
Lambda Calculus for Occam
thomasdziedzic/lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
thomasdziedzic/lobsters
Rails code running the Lobsters link aggregation site
thomasdziedzic/lobsters-ansible
Ansible playbook for lobste.rs
thomasdziedzic/nio4r
Cross-platform asynchronous I/O primitives for scalable network clients and servers.
thomasdziedzic/redash
Run Redash on Render
thomasdziedzic/repro-test-issue
thomasdziedzic/ruby-build
Compile and install Ruby
thomasdziedzic/simple-coq-repo
used for testing
thomasdziedzic/spoj
thomasdziedzic/tdd-idris
thomasdziedzic/thomasdziedzic.github.io
thomasdziedzic/vla
thomasdziedzic/vscode-elixir-ls
Elixir language support and debugger for VS Code, powered by ElixirLS.
thomasdziedzic/Yaffle
A core language and API for dependently typed languages