aatxe/cube.idr

Stars
7
Rank 2,294,772 (Top 46 %)
Language Idris
License
GNU Affero Genera...
Created over 7 years ago
Updated over 5 years ago

aatxe/cube.idr

aatxe

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

An implementation of the Lambda Cube in Idris.

irc

the irc crate – usable, async IRC for Rust

oxide

The essence of Rust.

Orpheus

Open Source MapleStory Server Emulator (v83)

markov

A generic markov chain implementation in Rust.

alectro

A terminal IRC client in Rust.

OpenMaple

A fast MapleStory emulator aiming to bring openness back to the private server community.

pkgnx

Blazing fast binary data format for video games – PKG4 for Java

spilo

A minimalistic IRC bouncer in Rust.

diet-coke

A small functional language with effect inference based on Koka.

meep

A simple pasting service with syntax highlighting support.

Ultimate-Ascent

FIRST Team 1923's official repository for the 2013 game, Ultimate Ascent.

awebot

An IRC bot in Rust.

tokio-mockstream

A fake stream for testing network applications backed by buffers.

Team-1923-Rebound-Rumble

Team 1923's software for the FIRST Robotics Competition for 2012.

life-sim

An artificial life simulator in Rust.

tomato

Java MapleStory Server Emulator - v111

amomentoflove.org

Share your appreciation with someone you love.

irc-services

A unified IRC services bot in Rust, used long ago by PdgnCo but replaced with anope.

dotfiles

My configuration files and whatnot.

dnd

An IRC bot in Rust for playing Dungeons and Dragons.

sanguinello

libjinx2

A Java library for the NX file format.

rip

weiss.city

The latest in a long line of personal websites.

Tupelo

A (work-in-progress) IRC client for the 21st Century.

reasoning-with-types

Corresponding example code from my blog post "Reasoning with Types in Rust"

awebot-plugins

A collection of plugins for awebot.

critters

A modern, extensible Creatures clone.

hamelin.rs

An implementation of Hamelin in Rust.

chipster

A fast CHIP-8 emulator with indie cred.

minuet

A simple, lightweight utility library for C.

srcerror

An exercise in data modelling and frustration.

pixalia

The worst, best MMO client ever.

vr.pyv

A specification of Viewstamped Replication in mypvy.

theraphosa

Snakes on the web? I think they're getting eaten.

pixalia-server

The worst, best MMO server ever.

hacl-rs

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.

heuler

Project Euler problems in (poor) Haskell.