Pinned Repositories
bcmets
Source code for http://www.bcmets.org/
cardelli
Cardelli type inferencer translated to Javascript
jstype
Playing at writing a Javascript compiler
khanren
µKanren in Haskell
milner-type-poly
parallel_tests
Rails: 2 CPUs = 2x Testing Speed for RSpec, Test::Unit and Cucumber
pfpl-langkit
Web playground for Gödel's System T - http://larks.petebevin.com/primrec/
systemt
Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.
wf
Word Finder
wordfun
Tools for solving cryptic crosswords: https://www.wordfun.ca/
pbevin's Repositories
pbevin/bcmets
Source code for http://www.bcmets.org/
pbevin/wf
Word Finder
pbevin/doku
PicoSAT-based Sudoku solver
pbevin/wordfun
Tools for solving cryptic crosswords: https://www.wordfun.ca/
pbevin/xcc
pbevin/euler-rs
Project Euler solutions in Rust
pbevin/evals
Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.
pbevin/ghci-syntax
Syntax highlighting for ghci configuration files
pbevin/ghcid
Very low feature GHCi based IDE
pbevin/glgrid
pbevin/imgsize
pbevin/kitty
Cross-platform, fast, feature-rich, GPU based terminal
pbevin/lettersgame
pbevin/lexicon
Various word lists
pbevin/macroquad
Cross-platform game engine in Rust.
pbevin/mailrabbit
RabbitMQ worker for managing mailing list subscriptions via Mailman
pbevin/miniquad
Cross platform rendering in Rust
pbevin/mmv
Bulk file rename tool
pbevin/nixpkgs
Nix Packages collection
pbevin/nonogram
pbevin/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
pbevin/rust-turbojpeg
Rust bindings for TurboJPEG library
pbevin/site-bestiary
https://www.bestiary.com/
pbevin/site-mckague
https://www.mckague.com
pbevin/site-mwolfe
https://www.menyawolfe.com/
pbevin/st
My fork of Suckless st
pbevin/stack
The Haskell Tool Stack
pbevin/vim-symbolize
Vim functions for converting between Ruby symbols and strings
pbevin/wordfun-ruby
Sinatra source for wordfun.ca
pbevin/z3.rs
Rust bindings for the Z3 solver.