mbid Goto Github PK

agda-vim

Agda interaction in vim

asm-lisp

async-openai

Async Rust library for OpenAI

autorebuild

A utility for automatic rebuilds

book

A textbook on informal homotopy type theory

dustman

🗑 Firefox extension for closing tabs you no longer need

flavored-markdown-viewer

Preview GitHub-flavored markdown in chrome.

hmemo

Spaced repetition of flash cards on the command line

lalrpop

LR(1) parser generator for Rust

latex-to-html

lcc-model

leechblock

LeechBlock is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify which sites to block and when to block them.

mbid.github.io

psc-ide-vim

Vim plugin for psc-ide

purescript-foldable-traversable

Classes for foldable and traversable data structures

purescript-ifoldmap-benchmark

purescript-incremental-dom

PureScript Bindings for PureScript

purescript-lists

Linked Lists

purescript-maps

Purely functional maps

purescript-reified-state

Composable, Stateful UI in PureScript using Lenses.

purescript-smolder

A combinator library for generating markup

purescript-smolder-idom

Smolder renderer for IncrementalDOM

qt

rust-imap

IMAP client library for Rust

seminar-elliptic-curves

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

subsetunion-problem

v8.dev

The source code of v8.dev, the official website of the V8 project.

vigra

a generic C++ library for image analysis

vim-compose