shonfeder/ocobs

Stars
1
Language
OCaml
Created about 6 years ago
Updated over 5 years ago

shonfeder/ocobs

shonfeder

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

COBS (Consistent Overhead Byte Stuffing) in OCaml

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)

emojitsu

Tiny executable techniques for dealing with emoji

alg_structs

Algebraic Structures in OCaml Structs

tokenize

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.

kwdcmd

Keywords to Write Command Lines ~ Partial porcelain around Cmdliner

nomad

OCaml project situation tools: wander freely to find fertile ground

nd_project

[WIP] A pedagogical toy for learning natural deduction

protelog

Experiments with prolog sugar and langauge extensions — cf. "proteus"

aoc

sml-utils

A nascent, in progress library of utility modules for SML (compatible with, and using extensions offered by SML/NJ)

changeling

Harmonize changelogs without mangling their purpose

consolate

Experimental utilities to console operators of consoles

synechepedia

Connected notes on explorations of connections (homepage src)

99-lambda-prolog-problems

99 λProlog Problems (eventually)

ocaml-effstudies

Studies using OCaml 5's effect handlers

aoc-2020

Solutions for the Advent of Code 2020 in Lamba Prolog

shonfeder.github.io

Public Personal Wiki