rntz/plt-ideas-bot

Stars
1
Language
Python
Created about 8 years ago
Updated about 8 years ago

rntz/plt-ideas-bot

rntz

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

Twitter bot generating PLT ideas by mashing up previous ideas

datafun

Research on integrating datalog & lambda calculus via monotonicity types

rotten

Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler

minikanren-datalog

Datalog implemented in minikanren

rust-sandbox

Playing around with rust

moxy

Language with monoidally extensible syntax

quick_macro

Quick macros for talon

liberis

lisp bytecode vm

ukanren

Playing around with microKanren (in Haskell)

rust-hashlife

Gosper's Hashlife algorithm implemented in Rust

stlc

Stuff about the simply typed lambda calculus

rntztex

Styles, a class, and a Makefile for LaTeX projects

StreamSet

lazy potentially infinite streamable sets in Haskell

ccc

a categorical compiler compiler

thesis

rust-fingertrees

Finger trees implemented in rust

indexed_clipboard

An indexed clipboard for talon.

unidirectional-inference

Bidirectional type inference with wildcards, or "unidirectional type inference"

quelle

datalog for queries and linear logic for state transitions

ttol

research re type theory of linking

minikanren-nbe

Normalisation by evaluation in minikanren

ocpo

A language with omega-cpo semantics, inspired by Nick Rioux's Granite.

emacs-talon

Some emacs talon integration stuff

talon_emacs_draft

Using emacs as a draft window for talon.

deriv-parsing

Exploring "Parsing with Derivatives"

fixflow

Investigating recursive dataflow for computing fixed points

curry-howard-slides

cam-rust

Simple functional VM based on Categorical Abstract Machine, implemented in Rust

datalog

datalog implementation in racket

xkcdhash

cps-talk

datalog-experience-report

infix-calculator

Arithmetic calculator with customizable infix operators

hs-prolog

Simple pseudo-Prolog interpreter in Haskell