Popular repositories Loading

1. libutf libutf Public archive

   Plan 9 compatible UTF-8 C library

   C 90 10

2. utfset utfset Public archive

   Sets of runes with a UTF-8 tree structure

   C 14

3. strong-krivine strong-krivine Public archive

   Strongly normalising Krivine machine for λσ⇑-calculus

   Agda 7

4. stlc stlc Public archive

   Optimised type inference for simply-typed λ-calculus

   C 4

5. scrying-sheets scrying-sheets Public

   Static site generator for Magic decklists using Scryfall

   Python 3 1

6. floret floret Public archive

   Incremental parsing by weighted regular expressions

   Haskell 2