A wiki based on firm theoretical foundations

A haskell implementation of the Cassowary linear programming solver.

This repo is inactive. Please visit the new active project at https://github.com/hdevtools/hdevtools

A polyphonic Synth type whose multiple oscillators generate sound via amplitude and frequency envelopes, implemented in Rust. DEPRECATED: This is a very old crate with very old design patterns and …

Homomorphic machine learning

A Proof-oriented Programming Language

A ClojureScript wrapper for the Phaser HTML5 game framework

mawww's experiment for a better code editor

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

A Dependently Typed Functional Programming Language

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

[Project ended] rkt is a pod-native container engine for Linux. It is composable, secure, and built on standards.

Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

Vim-fork focused on extensibility and usability

EventStoreDB, the event-native database. Designed for Event Sourcing, Event-Driven, and Microservices architectures

EventStore Haskell TCP Client

A small web programming library on top of reactive-banana and virtual-dom

vim text objects for haskell

Type provider library for Idris

A proper network library for Idris, now that I know what I'm doing.

Agda interaction in vim

Handle vim sessions like a pro

Mappings that boost vim's command line.

Proof of concept Go-based Neovim plugin for Go development

Another Haskell web framework for rapid development