Beast code in Giters

Tikhon Jelvis's repositories

RL-book

Language:Python472 31 22

Simple-Prolog

A simple Prolog interpreter

Language:HaskellBSD-3-Clause43 50

Cow

Semantic Version Control mk II.

Language:HaskellGPL-3.037 8 1

inductive-mazes

Code for my blog post "Generating Mazes with Inductive Graphs"

Language:HaskellBSD-3-Clause37 40

modular-arithmetic

A useful type for working with integers modulo some constant.

Language:HaskellNOASSERTION30 3 8

array-forth

A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.

Language:HaskellGPL-3.026 8 1

dotfiles

Most of my system configuration files.

Language:Emacs Lisp20 3 1

talks

Slides for my talks at various meetups.

Language:JavaScript20 60

website

My website.

Language:HTML4 2 2

Maptac-Chess

A JavaScript chess game written in high school

Language:JavaScript3 30

simulation

A 2D polygon collision simulation originally written for A.S. physics in 2009.

Language:Java3 40

theta-idl

Define communication protocols between applications using algebraic data types.

Language:HaskellNOASSERTION3 20

resume

My resume

Language:Nix100

seven-guis-reflex

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark

Language:Haskell1 30

www.haskell.org

www.haskell.org site source

Language:CSSBSD-3-Clause100

avro

Haskell Avro Encoding and Decoding Native Support (no RPC)

Language:HaskellBSD-3-Clause040

doctest

An implementation of Python's doctest for Haskell

MIT000

haskell-config

My haskell-mode configuration for Emacs

Language:Emacs Lisp020

haskell-mode

Emacs mode for Haskell

Language:Emacs LispGPL-3.0030

haskell-platform

Distribution of Haskell with batteries included

Language:HaskellNOASSERTION010

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixApache-2.0020

nixpkgs

Nix Packages collection

Language:NixMIT030

parquet-rest

Turn a parquet file into a local REST API.

Language:Nix030

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

MIT000

poetry2nix-pillow

Reproducible poetry2nix project where Pillow failed to build

Language:Nix030

python-for-data-science

"Python for Data Science" ICME workshop 2023

Language:SCSSCC0-1.0000

sat-stuff

Sat stuff

Language:Rust020

selectrum

🔔 Better solution for incremental narrowing in Emacs.

Language:Emacs LispMIT020

stylish-haskell

Haskell code prettifier

Language:HaskellNOASSERTION010

unordered-containers

Efficient hashing-based container types

Language:HaskellBSD-3-Clause020