Irene Knapp
IreneKnapp
Languages
Repos
85
Stars
108
Forks
242
Top Language
Haskell
Loading contributions...
Top Repositories
An update of the classic digital kitten.
A self-describing binary data format for dependently-typed object graphs.
JSON-Schema validator, with an emphasis on experimental new features
Repositories
85An update of the classic digital kitten.
No description provided.
JSON-Schema validator, with an emphasis on experimental new features
Project documentation with Markdown.
A reboot of TiddlyWiki for the next 25 years
No description provided.
No description provided.
an open letter to the NixOS foundation
No description provided.
Nix Packages collection
No description provided.
FlatBuffers Compiler and Library in C for C
Rust bindings for GNOME libraries
An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org
The Nix community RFCs
janky twitter replacement.
A nixos-configs example for a blogpost
A collection of NixOS modules covering hardware quirks.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
A self-describing binary data format for dependently-typed object graphs.
Linux kernel source tree
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.
No description provided.
Write games and simulations in Rust, using reactive programming for smoothness and replicability.
No description provided.
A Haskell framework for rapid development of RESTful web-based APIs