Popular repositories Loading

1. CodeMirror CodeMirror Public

   Forked from codemirror/codemirror5

   In-browser code editor

   JavaScript

2. crocks crocks Public

   Forked from evilsoft/crocks

   A collection of well known Algebraic Data Types for your utter enjoyment.

   JavaScript

3. vis vis Public

   Forked from martanne/vis

   A vi-like editor based on Plan 9's structural regular expressions

   C

4. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris