shonfeder/99-lambda-prolog-problems shonfeder/99-lambda-prolog-problems

  • Stars
    star
    1
  • Language AMPL
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shonfeder/99-lambda-prolog-problems
github

shonfeder

Reviews

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

Repository Details

99 λProlog Problems (eventually)

More Repositories

1

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)
OCaml
26
star
2

emojitsu

Tiny executable techniques for dealing with emoji
OCaml
19
star
3

alg_structs

Algebraic Structures in OCaml Structs
OCaml
15
star
4

tokenize

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

kwdcmd

Keywords to Write Command Lines ~ Partial porcelain around Cmdliner
OCaml
10
star
6

nomad

OCaml project situation tools: wander freely to find fertile ground
OCaml
9
star
7

nd_project

[WIP] A pedagogical toy for learning natural deduction
OCaml
5
star
8

protelog

Experiments with prolog sugar and langauge extensions — cf. "proteus"
Prolog
4
star
9

aoc

AOC
OCaml
3
star
10

sml-utils

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

ocobs

COBS (Consistent Overhead Byte Stuffing) in OCaml
OCaml
1
star
12

changeling

Harmonize changelogs without mangling their purpose
OCaml
1
star
13

consolate

Experimental utilities to console operators of consoles
OCaml
1
star
14

synechepedia

Connected notes on explorations of connections (homepage src)
Emacs Lisp
1
star
15

ocaml-effstudies

Studies using OCaml 5's effect handlers
OCaml
1
star
16

aoc-2020

Solutions for the Advent of Code 2020 in Lamba Prolog
Prolog
1
star
17

shonfeder.github.io

Public Personal Wiki
CSS
1
star