IreneKnapp

Pinned Repositories

2020-advent-of-code
Language:Rust1 3 00
direct-fastcgi
Language:Haskell1 3 01
direct-rich-text-format
Language:Haskell3 3 00
direct-schema
JSON-Schema validator, with an emphasis on experimental new features
Language:JavaScript10 5 11
direct-sqlite
Language:C35 7 4254
geometric-algebra
Language:Haskell3 5 00
modern-data
A self-describing binary data format for dependently-typed object graphs.
Language:C13 5 80
oneko
An update of the classic digital kitten.
Language:C23 3 46
ozweb
A Haskell framework for rapid development of RESTful web-based APIs
Language:Haskell2 3 00
rfcs
The Nix community RFCs
2 2 01

IreneKnapp's Repositories

IreneKnapp/direct-schema
JSON-Schema validator, with an emphasis on experimental new features
Language:JavaScript10 5 11
IreneKnapp/geometric-algebra
Language:Haskell3 5 00
IreneKnapp/direct-fastcgi
Language:Haskell1 3 01
IreneKnapp/Joy
Language:Haskell1 4 0
IreneKnapp/language-sqlite
Language:Haskell1 3 02
IreneKnapp/Adventures-of-Hihi
Language:Haskell
IreneKnapp/cabal-app
Language:Haskell
IreneKnapp/direct-cocoa
Language:Haskell
IreneKnapp/direct-crypto-socket
Language:Haskell3 0
IreneKnapp/direct-dimensions
Language:Haskell
IreneKnapp/direct-fourier
Language:Haskell3 0
IreneKnapp/direct-plugins
Language:Haskell
IreneKnapp/direct-streaming-xml
Language:Haskell
IreneKnapp/direct-xml-expat
Language:Haskell3 0
IreneKnapp/direct-xml-sax
Language:Haskell
IreneKnapp/dotlocal
Language:Objective-C1
IreneKnapp/FruitTart
Language:Haskell
IreneKnapp/gpt-tweak
Language:C
IreneKnapp/http-overload
Language:C
IreneKnapp/json-schema
JSON Schema specifications
Language:JavaScript
IreneKnapp/Origami
Origami paper-folding simulator
Language:Haskell3 0
IreneKnapp/SQLite-ObjC
Language:C
IreneKnapp/Tessel
Language:Objective-C3 0
IreneKnapp/type-int
Type level 2's and 16's complement arithmetic (old)
Language:Haskell