Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
@ObsidianSystems New York
Pinned Repositories
baccumulation
clash-prelude-quickcheck
QuickCheck instances for various types in the CλaSH Prelude
hasnip
A network-compatable rewrite of the Ace of Spades 0.* clients in Haskell
henet
Haskell bindings for ENet
lean-tic-tac-toe
lighthouse
Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
matrix-client
nixos-configuration
Much better than a .dotfiles repo
rust-papers
An enrichment of Rust's core language to support more advanced features
Voxlap
Making Ken Silverman's "Voxlap" voxel graphics engine run on any platform with SDL.
Ericson2314's Repositories
Ericson2314/nixos-configuration
Much better than a .dotfiles repo
Ericson2314/baccumulation
Ericson2314/lean-tic-tac-toe
Ericson2314/tuf-content-addressing-notes
Some notes for doing a modified TUF atop some sort of recursive content-addressing system (like IPFS)
Ericson2314/nix
Nix, the purely functional package manager
Ericson2314/nixpkgs
Nix Packages collection
Ericson2314/basic-ifd-from-wiki
Ericson2314/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Ericson2314/cmark
CommonMark parsing and rendering library and program in C
Ericson2314/FundamentalsSampleApp
Ericson2314/gcc
Ericson2314/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Ericson2314/gnu-config
GNU's config.git
Ericson2314/happy
The Happy parser generator for Haskell
Ericson2314/hnix-store
Haskell implementation of the nix store API
Ericson2314/home-manager
Manage a user environment using Nix
Ericson2314/http-parser
http request/response parser for c
Ericson2314/illumos-gate
An open-source Unix operating system
Ericson2314/libarchive
Multi-format archive and compression library
Ericson2314/libcpuid
a small C library for x86 CPU detection and feature extraction
Ericson2314/meson
The Meson Build System
Ericson2314/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
Ericson2314/nix-eval-jobs
Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]
Ericson2314/Nix-GSoC
Ericson2314/nix-rfcs
The Nix community RFCs
Ericson2314/nixos-org-configurations
NixOS configurations for nixos.org and its servers
Ericson2314/SC-election-2024
2024 Election for the Steering Committee
Ericson2314/tech-proposals
The Haskell Foundation Tech Proposal Process
Ericson2314/ucpp
A C preprocessor designed to be embeddable, quick, light and fully compliant to ISO Standard 9899:1999, aka ISO C99, or simply, C99
Ericson2314/whois
Intelligent WHOIS client