• Stars
    star
    1
  • Language
    OCaml
  • Created over 7 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

SKI combinator calculus implemented in OCaml

More Repositories

1

silly-joy

Interpreter for Joy in Haskell using extensible-effects
Haskell
33
star
2

silly-k

silly-k is an experimental hobby language inspired by K and APL
Scheme
15
star
3

twitch-cli

Twitch command line interface
Python
10
star
4

arweaver

An Arweave client written in Rust
Rust
10
star
5

libpquv

A small library combining libpq and libuv
C
9
star
6

haskeline-brick

Haskell
8
star
7

loom

Run a local development Arweave blockchain with faucets and on-demand mining
Erlang
8
star
8

silly-ml

A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend
OCaml
7
star
9

silly-church

A small example of a nanopass style compiler
Scheme
7
star
10

ppx_useless

A useless ppx extension
OCaml
4
star
11

h

Hardened script host programs
C
3
star
12

dont-fear-the-reaper

A Linux subreaper that terminates orphans
Rust
3
star
13

openbsd

OpenBSD image builder
Python
3
star
14

silly-actor

Small actor model implementation that compiles to C using nanopass-framework
Scheme
3
star
15

ldapy

Command line tool to explore LDAP databases
Python
3
star
16

economy

A personal economy tracker implemented in lovely Haskell for great fun
Haskell
2
star
17

lambdasylum

A place to study some lambda calculi
OCaml
2
star
18

config

Personal configuration files: vimrc and what-not.
Shell
1
star
19

agda-hack

A place to collect things I learn about Agda
Agda
1
star
20

qcd

Script for Quickly Changing Directory.
Python
1
star
21

apl-hack

A place to collect things I learn about APL
APL
1
star
22

stream

Streaming utilities
Shell
1
star
23

TelegramIdleRPGBot

Silly project to learn Dropwizard.io and Scala
Scala
1
star