benhormann

Pinned Repositories

CodeMirror
In-browser code editor
Language:JavaScript0 0 00
crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language:JavaScript0 0 00
Idris2
A purely functional programming language with first class types
Language:Idris00
vis
A vi-like editor based on Plan 9's structural regular expressions
Language:C0 0 00
codemirror5
In-browser code editor (version 5, legacy)
Language:JavaScript26.9k 659 4.2k5k
crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language:JavaScript1.6k 37 162102
Idris2
A purely functional programming language with first class types
Language:Idris2.6k 65 1.2k379
vis
A vi-like editor based on Plan 9's structural regular expressions
Language:C4.3k 103 760265
browser-compat-data
This repository contains compatibility data for Web technologies as displayed on MDN
Language:JSON5k 253 5.3k2k
vim-cool
A very simple plugin that makes hlsearch more useful.
Language:Vim Script537 8 2923

benhormann's Repositories

benhormann/CodeMirror
In-browser code editor
Language:JavaScript0 0 00
benhormann/crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language:JavaScript0 0 00
benhormann/Idris2
A purely functional programming language with first class types
Language:Idris00
benhormann/vis
A vi-like editor based on Plan 9's structural regular expressions
Language:C0 0 00