phlegmaticprogrammer Goto Github PK

appengine-magic

A library designed to make it easy to use Google App Engine from Clojure

babel-17

A dynamically-typed programming language for purely functional structured programming.

btree

Purely functional btree implementation in Clojure.

clojure_util

cosmopolitanidentifiers

Reference implementation of Cosmopolitan Identifiers as a Swift package.

dynamiccodable

A Dynamic Codable

earleylocallexing

Earley-based Local Lexing

experimentalvm

Experimenting with Virtual Machines

firstorderdeepembedding

Tools for deeply embedding a multi-sorted first-order language in Swift.

formulae

TeX formula layout in Standard ML

graphkit

Not very polished implementation of directed graphs.

hipcam

Tools for recording Hiproofs in hol-light and visualising them in a web browser

katex

Fast math typesetting for the web.

lanumerics

LANumerics is a Swift package for doing numerical linear algebra.

mathjax

Beautiful and accessible math in all browsers

parlay

Parlay ("parsing + layout") is an editor engine based on parsing.

parsatron

Clojure parser combinators

parsingkit

Experimental Swift package for composable parsing via Local Lexing.

sample-epub-minimal

tillich_zemor_hash

Implementation of Tillich-Zemor hashing in Clojure/Java.