Pinned Repositories
2020-advent-of-code
direct-fastcgi
direct-rich-text-format
direct-schema
JSON-Schema validator, with an emphasis on experimental new features
direct-sqlite
geometric-algebra
modern-data
A self-describing binary data format for dependently-typed object graphs.
oneko
An update of the classic digital kitten.
ozweb
A Haskell framework for rapid development of RESTful web-based APIs
rfcs
The Nix community RFCs
IreneKnapp's Repositories
IreneKnapp/direct-sqlite
IreneKnapp/oneko
An update of the classic digital kitten.
IreneKnapp/modern-data
A self-describing binary data format for dependently-typed object graphs.
IreneKnapp/rfcs
The Nix community RFCs
IreneKnapp/2020-advent-of-code
IreneKnapp/areweplural.github.io
IreneKnapp/direct-murmur-hash
IreneKnapp/2021-advent-of-code
IreneKnapp/blog-nixos-configs
A nixos-configs example for a blogpost
IreneKnapp/direct-opengl
A fork of the OpenGL Haskell library, using direct-opengl-raw instead of OpenGLRaw. No other changes as of this writing.
IreneKnapp/direct-opengl-raw
A fork of the OpenGLRaw Haskell library, using Template Haskell instead of the C preprocessor, for compatibility with Clang, which is necessary to compile on Mac OS X 10.9 with XCode 5.1.
IreneKnapp/Eyeshadow
IreneKnapp/flatcc
FlatBuffers Compiler and Library in C for C
IreneKnapp/gtk-rs-core
Rust bindings for GNOME libraries
IreneKnapp/hs-captcha
IreneKnapp/linux
Linux kernel source tree
IreneKnapp/nexus-gaming
Player registration system for Nexus-based live-action roleplay (LARP) events
IreneKnapp/nixos-hardware
A collection of NixOS modules covering hardware quirks.
IreneKnapp/NixOS-Users-Against-MIC-Sponsorship.github.io
IreneKnapp/nixpkgs
Nix Packages collection
IreneKnapp/open-letter
an open letter to the NixOS foundation
IreneKnapp/parsing-game
A side-scrolling platform videogame which is controlled solely through a natural-language interface.
IreneKnapp/qt
QT version 3.14159, an IRC bot with dice-rolling features
IreneKnapp/Te
IreneKnapp/themes
IreneKnapp/TiddlyWiki5
A reboot of TiddlyWiki for the next 25 years
IreneKnapp/time-steward
Write games and simulations in Rust, using reactive programming for smoothness and replicability.
IreneKnapp/Tow-Boot
An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org
IreneKnapp/tweets
janky twitter replacement.
IreneKnapp/wysihtml5
Open source rich text editor based on HTML5 and the progressive-enhancement approach. Uses a sophisticated security concept and aims to generate fully valid HTML5 markup by preventing unmaintainable tag soups and inline styles.