rntz/rust-hashlife

Stars
6
Rank 2,492,761 (Top 50 %)
Language
Rust
License
Other
Created over 11 years ago
Updated over 11 years ago

rntz/rust-hashlife

rntz

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

Gosper's Hashlife algorithm implemented in Rust

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)

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