mbid

Pinned Repositories

eqlog
Datalog with equality for rust
Language:Rust63 4 04
agda-vim
Agda interaction in vim
Language:VimL0 2 00
asm-lisp
Language:C++0 2 01
flavored-markdown-viewer
Preview GitHub-flavored markdown in chrome.
Language:PureScript1 2 00
hmemo
Spaced repetition of flash cards on the command line
Language:Haskell11 2 11
latex-to-html
Language:TeX70
purescript-incremental-dom
PureScript Bindings for PureScript
Language:PureScript1 2 00
vim-compose
Language:TypeScript32
v8.dev
The source code of v8.dev, the official website of the V8 project.
Language:JavaScript960 69 144325

mbid's Repositories

mbid/hmemo
Spaced repetition of flash cards on the command line
Language:Haskell11 2 11
mbid/latex-to-html
Language:TeX70
mbid/vim-compose
Language:TypeScript32
mbid/flavored-markdown-viewer
Preview GitHub-flavored markdown in chrome.
Language:PureScript1 2 00
mbid/purescript-incremental-dom
PureScript Bindings for PureScript
Language:PureScript1 2 00
mbid/agda-vim
Agda interaction in vim
Language:VimL0 2 00
mbid/autorebuild
A utility for automatic rebuilds
Language:Haskell0 2 00
mbid/book
A textbook on informal homotopy type theory
Language:TeX0 2 00
mbid/dustman
🗑 Firefox extension for closing tabs you no longer need
Language:JavaScript0 2 00
mbid/async-openai
Async Rust library for OpenAI
Language:Rust0 0
mbid/lalrpop
LR(1) parser generator for Rust
Language:Rust0 0
mbid/lcc-model
Language:TeX3 0
mbid/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.
Language:JavaScript3 0
mbid/mbid.github.io
Language:HTML2 0
mbid/psc-ide-vim
Vim plugin for psc-ide
Language:Vim script2 0
mbid/purescript-foldable-traversable
Classes for foldable and traversable data structures
Language:PureScript2 0
mbid/purescript-ifoldmap-benchmark
Language:PureScript
mbid/purescript-lists
Linked Lists
Language:PureScript
mbid/purescript-maps
Purely functional maps
Language:PureScript2 0
mbid/purescript-reified-state
Composable, Stateful UI in PureScript using Lenses.
Language:PureScript2 0
mbid/purescript-smolder
A combinator library for generating markup
Language:PureScript2 0
mbid/purescript-smolder-idom
Smolder renderer for IncrementalDOM
Language:PureScript2 0
mbid/qt
Language:C#1 0
mbid/rust-imap
IMAP client library for Rust
Language:Rust0 0
mbid/seminar-elliptic-curves
Language:TeX2 0
mbid/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.
Language:C++0 0
mbid/subsetunion-problem
Language:C++2 0
mbid/v8.dev
The source code of v8.dev, the official website of the V8 project.
Language:JavaScript1 0
mbid/X11
A Haskell binding to the X11 graphics library.
Language:Haskell1 0
mbid/yishn-Uni
University stuff.
Language:TeX2 0