Ericson2314/nixos-configuration
Much better than a .dotfiles repo
Developer Profile
Ericson2314
Discovered public repositories for Ericson2314 in the GitHub catalog.
Ericson2314/core-region
A very small toy langauge, but it has regions
Ericson2314/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
Ericson2314/wl-pprint-text-class
A Simple Class for Pretty Printing with wl-pprint-text, Analogous to Show
Ericson2314/verilog
A Verilog parser for Haskell.
Ericson2314/clash-compiler
CAES Language for Synchronous Hardware
Ericson2314/clash-prelude-quickcheck
QuickCheck instances for various types in the CλaSH Prelude
Ericson2314/disass
A conservative, sound disassembler designed to facilitate easy reassembly
Ericson2314/rust-rfcs
RFCs for changes to Rust
Ericson2314/nixpkgs
Nix Packages collection
Ericson2314/pyret-lang
The Pyret language.
Ericson2314/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
Ericson2314/hs2arr
Public repository.
Ericson2314/verified-braun-heaps
A (eventually) fully verified priority queue using Braun heaps in Agda
Ericson2314/yi
The Haskell-Scriptable Editor
Ericson2314/harpy
Runtime code generation for x86 machine code (http://hackage.haskell.org/package/harpy)
Ericson2314/agda-scratchpad
Messing with Agda
Ericson2314/rust-puc
Persistent map and set made with a hash array mapped trie.
Ericson2314/lighthouse
Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
Ericson2314/typesafe-endian
Haskell library for converting endian-sensitive data
Ericson2314/enet
ENet reliable UDP networking library
Ericson2314/henet
Haskell bindings for ENet
Ericson2314/hasnip
A network-compatable rewrite of the Ace of Spades 0.* clients in Haskell
Ericson2314/cncnet-tunnel
The CnCNet 5 tunneling service
Ericson2314/sonata
a short sonata (exposition) I had to write for school. Not my best work but maybe I will improve it down the road.
Ericson2314/pysnip
Fork of http://code.google.com/p/pyspades/, converted to git
Ericson2314/cuberoot
Cube Root is an OpenGL client for a voxel game.
Ericson2314/Tiberian-Dawn-FPS
Bringing the world of the first Command & Conquer game to a first person perspective, accurately
Ericson2314/Renegade-Beta-Assets
Based off of Reaver11's work
Ericson2314/APB-signiture-stats
for Command & Conquer: Red Alert: A Path Beyond. Design by APB_ICE
Ericson2314/Voxlap
Making Ken Silverman's "Voxlap" voxel graphics engine run on any platform with SDL.