Discover @shonfeder Open Source projects

Shon Feder (@shonfeder)

shonfeder

Stars
112
Global Rank 191,524 (Top 7 %)
Followers 93
Following 151
Registered over 8 years ago
Most used languages

OCaml
61.1 %

Prolog
16.7 %

Emacs Lisp
5.6 %

Standard ML 5.6 %

AMPL 5.6 %

CSS
5.6 %
Location 🇺🇸 United States
Country Total Rank 41,085
Country Ranking

Prolog
40

AMPL 68

OCaml
73

Standard ML 113

Emacs Lisp
1,947

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)

ocobs

COBS (Consistent Overhead Byte Stuffing) in OCaml

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