Beast code in Giters

Peter's starred repositories

mostly-adequate-guide

Mostly adequate guide to FP (in javascript)

Language:JavaScriptNOASSERTION23413 549 278

unix-history-repo

Continuous Unix commit history from 1970 until today

Language:AssemblyNOASSERTION6583 2890

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION5471 205 7494

vis

A vi-like editor based on Plan 9's structural regular expressions

Language:CNOASSERTION4264 103 753

awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

3460 151 9

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION3303 61 327

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

2797 125 46

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause2049 52 1637

Left

Distractionless Writing Tool

Language:JavaScriptNOASSERTION1775 26 90

mu

A small, simple editor for beginner Python programmers. Written in Python and Qt5.

Language:PythonGPL-3.01414 72 1534

the-power-of-prolog

Introduction to modern Prolog

Language:HTML1226 53 35

pollen

book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]

Language:RacketMIT1192 55 203

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

966 63 4

mercury

The Mercury logic programming system.

Language:MercuryNOASSERTION907 38 72

hazel

Hazel, a live functional programming environment with typed holes

Language:ReasonMIT797 16 773

tau-prolog

An open source Prolog interpreter in JavaScript

Language:JavaScriptBSD-3-Clause579 24 275

dooble

Dooble is a scientific browser. Minimal, cute, unusually stable, and available almost everyware. Completed?

Language:C++NOASSERTION474 23 193

awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

Language:RacketMIT460 24 3

amulet

An ML-like functional programming language

Language:HaskellBSD-3-Clause328 17 110

smlnj

Standard ML of New Jersey

Language:Standard MLBSD-3-Clause183 14 280

cool-compiler

Stanford CS1/CS143 Compilers Course Project - Cool compiler

Language:C++126 3 3

stamps

A language for producing art

Language:RacketNOASSERTION115 9 12

limbobyexample

Examples for the Limbo Programming Language

Language:LimboMIT53 6 7

obc-3

Oxford Oberon-2 compiler

Language:Oberon38 3 47

swipldcgtut

A tutorial for DCG's in swi-Prolog

Language:Prolog33 6 17

oberon-lang.github.io

The Oberon+ Programming Language

Language:HTML18 3 1

mlpractice-book

Supplemental materials for the book entitled "Practical ML Programming with SML#"

10 4 5

sml-unicode

Unicode and UTF8 for Standard ML

Language:Standard MLBSD-2-Clause9 3 1

cfdg

A language, inspired by CFDG, using Racket

Language:RacketNOASSERTION5 30

forum

A place for open-ended discussions about SML#

3 40