MeCab binding for OCaml

An attempt at relatively straightforward integration of Agda into a Typescript project

Benchmarks for capture-avoiding substitution

Minimal implementations for dependent type checking and elaboration

A new Categories library for Agda

😎TT

EPIT 2020 - Spring School on Homotopy Type Theory

The Twelf Programming Language

Draft of a guide for using emacs with evil

Let's be honest: mostly Emacs.

Standard ML compiler based on typed intermediate languages.

The People's Refinement Logic

SML reference interpreter

Lexer and parser generators for Standard ML, OCaml, and Haskell.

A list of Free Software network services and web applications which can be hosted on your own servers

A community driven list of useful Scala libraries, frameworks and software.

FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷

A basic library of algorithms and data structures (a la NJlib)

The MLton repository

Poly/ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

Anti-Adblock Killer helps you keep your Ad-Blocker active, when you visit a website and it asks you to disable.

Functioning: A Game Framework based on SDL for Standard ML

Library for Standard ML

Vim plugin: Create your own submodes

~grb. Things in here are often interdependent. A lot of stuff relies on scripts in bin/.

Totally Automated Propaganda Producer