aatxe/dotfiles aatxe/dotfiles

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Emacs Lisp
  • License
    Creative Commons ...
  • Created about 10 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aatxe/dotfiles
github

aatxe

Reviews

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

Repository Details

My configuration files and whatnot.

More Repositories

1

irc

the irc crate – usable, async IRC for Rust
Rust
532
star
2

oxide

The essence of Rust.
OCaml
122
star
3

Orpheus

Open Source MapleStory Server Emulator (v83)
Java
97
star
4

markov

A generic markov chain implementation in Rust.
Rust
85
star
5

alectro

A terminal IRC client in Rust.
Rust
68
star
6

OpenMaple

A fast MapleStory emulator aiming to bring openness back to the private server community.
Java
21
star
7

pkgnx

Blazing fast binary data format for video games – PKG4 for Java
Java
12
star
8

spilo

A minimalistic IRC bouncer in Rust.
Rust
10
star
9

diet-coke

A small functional language with effect inference based on Koka.
Scala
9
star
10

cube.idr

An implementation of the Lambda Cube in Idris.
Idris
7
star
11

meep

A simple pasting service with syntax highlighting support.
Rust
6
star
12

Ultimate-Ascent

FIRST Team 1923's official repository for the 2013 game, Ultimate Ascent.
Java
5
star
13

awebot

An IRC bot in Rust.
Rust
5
star
14

tokio-mockstream

A fake stream for testing network applications backed by buffers.
Rust
5
star
15

Team-1923-Rebound-Rumble

Team 1923's software for the FIRST Robotics Competition for 2012.
Java
4
star
16

life-sim

An artificial life simulator in Rust.
Rust
4
star
17

tomato

Java MapleStory Server Emulator - v111
Java
4
star
18

amomentoflove.org

Share your appreciation with someone you love.
HTML
3
star
19

irc-services

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

dnd

An IRC bot in Rust for playing Dungeons and Dragons.
Rust
3
star
21

sanguinello

🍊
Rust
2
star
22

libjinx2

A Java library for the NX file format.
Java
2
star
23

rip

Rest in peace.
Rust
2
star
24

weiss.city

The latest in a long line of personal websites.
CSS
2
star
25

Tupelo

A (work-in-progress) IRC client for the 21st Century.
JavaScript
2
star
26

reasoning-with-types

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

awebot-plugins

A collection of plugins for awebot.
Rust
1
star
28

critters

A modern, extensible Creatures clone.
C++
1
star
29

hamelin.rs

An implementation of Hamelin in Rust.
Rust
1
star
30

chipster

A fast CHIP-8 emulator with indie cred.
C
1
star
31

minuet

A simple, lightweight utility library for C.
1
star
32

srcerror

An exercise in data modelling and frustration.
Java
1
star
33

pixalia

The worst, best MMO client ever.
Java
1
star
34

vr.pyv

A specification of Viewstamped Replication in mypvy.
1
star
35

theraphosa

Snakes on the web? I think they're getting eaten.
JavaScript
1
star
36

pixalia-server

The worst, best MMO server ever.
Java
1
star
37

hacl-rs

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
Rust
1
star
38

heuler

Project Euler problems in (poor) Haskell.
Haskell
1
star