echojc/peano-arithmetic

Stars
12
Rank 1,588,433 (Top 32 %)
Language
Scala
Created almost 11 years ago
Updated almost 11 years ago

echojc/peano-arithmetic

echojc

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

Basic arithmetic on Scala's type system using Peano numbers.

osu-ds

A Nintendo DS port of osu! written back in 2009.

scala-macro-template

Template for getting up and running with macros in no time.

kafka-offset-exporter

Prometheus exporter for Kafka topic and consumer group offsets

kp

A straightforward CLI Kafka producer

nzcpv

Implementation for validating the NZ COVID Pass.

goboy

Trying my hand at a Game Boy emulator

aocutil

Fetch input data for Advent of Code challenges.

Tamago

BulletML implementation in C#

y2j

A short, simple tool to convert YAML to JSON as long as it's representable.

lime

Let's write a Lisp!

simqle

An experiment with automatic conversion between SQL queries and Scala types via the typeclass pattern.

config

All my config files

wip-swagger-test

Testing auto swagger spec generation from spray routes

sky

Simple tool to send a file over HTTP, once.

echojc.github.io

sdu16

Talks for Scala Downunder 2016

botz0rs

es-gui

Elasticsearch query builder in your browser

metabot

DecisionMaker