Pinned Repositories
theta-idl
Define communication protocols between applications using algebraic data types.
array-forth
A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
Cow
Semantic Version Control mk II.
dotfiles
Most of my system configuration files.
inductive-mazes
Code for my blog post "Generating Mazes with Inductive Graphs"
modular-arithmetic
A useful type for working with integers modulo some constant.
RL-book
Simple-Prolog
A simple Prolog interpreter
talks
Slides for my talks at various meetups.
TPL
A silly little programming language.
TikhonJelvis's Repositories
TikhonJelvis/RL-book
TikhonJelvis/Simple-Prolog
A simple Prolog interpreter
TikhonJelvis/Cow
Semantic Version Control mk II.
TikhonJelvis/inductive-mazes
Code for my blog post "Generating Mazes with Inductive Graphs"
TikhonJelvis/modular-arithmetic
A useful type for working with integers modulo some constant.
TikhonJelvis/array-forth
A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
TikhonJelvis/talks
Slides for my talks at various meetups.
TikhonJelvis/dotfiles
Most of my system configuration files.
TikhonJelvis/simulation
A 2D polygon collision simulation originally written for A.S. physics in 2009.
TikhonJelvis/theta-idl
Define communication protocols between applications using algebraic data types.
TikhonJelvis/website
My website.
TikhonJelvis/Maptac-Chess
A JavaScript chess game written in high school
TikhonJelvis/resume
My resume
TikhonJelvis/seven-guis-reflex
a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark
TikhonJelvis/www.haskell.org
www.haskell.org site source
TikhonJelvis/avro
Haskell Avro Encoding and Decoding Native Support (no RPC)
TikhonJelvis/doctest
An implementation of Python's doctest for Haskell
TikhonJelvis/haskell-config
My haskell-mode configuration for Emacs
TikhonJelvis/haskell-mode
Emacs mode for Haskell
TikhonJelvis/haskell-platform
Distribution of Haskell with batteries included
TikhonJelvis/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
TikhonJelvis/nixpkgs
Nix Packages collection
TikhonJelvis/parquet-rest
Turn a parquet file into a local REST API.
TikhonJelvis/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
TikhonJelvis/poetry2nix-pillow
Reproducible poetry2nix project where Pillow failed to build
TikhonJelvis/python-for-data-science
"Python for Data Science" ICME workshop 2023
TikhonJelvis/sat-stuff
Sat stuff
TikhonJelvis/selectrum
🔔 Better solution for incremental narrowing in Emacs.
TikhonJelvis/stylish-haskell
Haskell code prettifier
TikhonJelvis/unordered-containers
Efficient hashing-based container types