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-rich-text-format
IreneKnapp/ozweb
A Haskell framework for rapid development of RESTful web-based APIs
IreneKnapp/haskell-to-idris
A program that allows you to go from working Haskell code to broken Idris code.
IreneKnapp/legal-emulator
IreneKnapp/cabal
Unofficial fork of Cabal and cabal-install for Mac-related features
IreneKnapp/codex
A container for discussion and early exploratory work towards a new package repository for Haskell.
IreneKnapp/deltavee
Turn-based orbital-mechanics combat game for multiple players via a web-based API
IreneKnapp/direct-binary-files
IreneKnapp/direct-daemonize
IreneKnapp/direct-http
IreneKnapp/direct-opentype
IreneKnapp/direct-precision
Precision-independent real numbers in Idris
IreneKnapp/direct-templates
A JavaScript templating engine with an elegant syntax.
IreneKnapp/direct-web-bugs
IreneKnapp/Drill
IreneKnapp/Emerald
A platform-independent toolkit for OpenGL programs.
IreneKnapp/Emerald-Frame
IreneKnapp/Faction
IreneKnapp/icfpc-2013
IreneKnapp/Idris-dev
A Dependently Typed Functional Programming Language
IreneKnapp/Inductive
An experimental inductive-logic-programming system written in Haskell
IreneKnapp/js-language-sqlite
A full parser and generator for SQL as implemented by SQLite3.
IreneKnapp/JSON-Schema-Test-Suite
A language agnostic test suite for the JSON Schema specifications
IreneKnapp/larp-base-two
IreneKnapp/lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
IreneKnapp/Nexus-Nexus
An information repository for live-action roleplaying events using the Nexus rules system.
IreneKnapp/persistent
Persistence interface for Haskell allowing multiple storage methods.
IreneKnapp/qmic
IreneKnapp/tactical-hydrangea
IreneKnapp/Teaquel
A database engine based on the Typed Query Language