adamchalmers/carroll

Stars
34
Rank 766,985 (Top 16 %)
Language
Python
Created almost 10 years ago
Updated over 9 years ago

adamchalmers/carroll

adamchalmers

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Carroll is a command-line tool for classical logic.

dingo

Command-line DNS client using bitvec, nom and RFC 1035

fountain-rs

Parser for Fountain markup, written in Rust.

nested-future-example

pvsnp

Joke website to tell whether P == NP

best-goats-wrangler

raytracer

Following the Ray Tracing in One Weekend book, but in Rust not C++

aoc21

Advent of Code 2021

blog

linkchecker

tonic-extensions

retry

Retryable Rust futures

new_rust_project

New cargo workspace with bin, lib and benchmarks.

rust-club

Rust lessons at KittyCAD

elm_cards

Some kind of Elm card game. Not sure what yet.

philhons

The philosophy honours thesis written by Adam Chalmers at University of Sydney.

elm_gfx

Playing around with graphics in Elm

ipset

Quickly check if an IP is in a set of networks

pychess

adamchalmers.github.io

quiet-serverless

haskml

Playing around with ML in Haskell

xmlparse

logiczoo

A calculator for logic

const_generic_grid

Using const generics to make a 2D Grid implementation in Rust, for a blog post.

bal5

Chrome extension to replace "Emma Balfour" with "Emma Bal5"

aoc22

axum-reqwest

h3clone

Open-source Heroes of Might and Magic III clone in Elm

miyajima

Recreating Tatsuo Miyajima's works (e.g. Mega Death) in Elm