Discover @rntz Open Source projects

Michael Arntzenius (@rntz)

rntz

Stars
586
Global Rank 49,283 (Top 2 %)
Followers 169
Following 19
Registered almost 16 years ago
Most used languages

Python
20.6 %

Racket
17.6 %

Haskell
17.6 %

Rust
11.8 %

TeX
8.8 %

Scheme
8.8 %

C
5.9 %

Emacs Lisp
2.9 %

Agda 2.9 %

Standard ML 2.9 %

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

plt-ideas-bot

Twitter bot generating PLT ideas by mashing up previous ideas

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