rntz/cps-talk rntz/cps-talk

  • Stars
    star
    1
  • Language
    Python
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rntz/cps-talk
github

rntz

Reviews

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

Repository Details

More Repositories

1

datafun

Research on integrating datalog & lambda calculus via monotonicity types
TeX
381
star
2

rotten

Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
Python
96
star
3

minikanren-datalog

Datalog implemented in minikanren
Scheme
24
star
4

rust-sandbox

Playing around with rust
Rust
10
star
5

moxy

Language with monoidally extensible syntax
Racket
7
star
6

quick_macro

Quick macros for talon
Python
7
star
7

liberis

lisp bytecode vm
C
6
star
8

ukanren

Playing around with microKanren (in Haskell)
Haskell
6
star
9

rust-hashlife

Gosper's Hashlife algorithm implemented in Rust
Rust
6
star
10

stlc

Stuff about the simply typed lambda calculus
Agda
4
star
11

rntztex

Styles, a class, and a Makefile for LaTeX projects
Python
4
star
12

StreamSet

lazy potentially infinite streamable sets in Haskell
Haskell
3
star
13

ccc

a categorical compiler compiler
Racket
3
star
14

thesis

TeX
3
star
15

rust-fingertrees

Finger trees implemented in rust
Rust
3
star
16

indexed_clipboard

An indexed clipboard for talon.
Python
2
star
17

unidirectional-inference

Bidirectional type inference with wildcards, or "unidirectional type inference"
Haskell
2
star
18

quelle

datalog for queries and linear logic for state transitions
Racket
2
star
19

ttol

research re type theory of linking
Standard ML
2
star
20

plt-ideas-bot

Twitter bot generating PLT ideas by mashing up previous ideas
Python
1
star
21

minikanren-nbe

Normalisation by evaluation in minikanren
Scheme
1
star
22

ocpo

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

emacs-talon

Some emacs talon integration stuff
Emacs Lisp
1
star
24

talon_emacs_draft

Using emacs as a draft window for talon.
Python
1
star
25

deriv-parsing

Exploring "Parsing with Derivatives"
Racket
1
star
26

fixflow

Investigating recursive dataflow for computing fixed points
Racket
1
star
27

curry-howard-slides

TeX
1
star
28

cam-rust

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

datalog

datalog implementation in racket
Racket
1
star
30

xkcdhash

C
1
star
31

datalog-experience-report

Scheme
1
star
32

infix-calculator

Arithmetic calculator with customizable infix operators
Haskell
1
star
33

hs-prolog

Simple pseudo-Prolog interpreter in Haskell
Haskell
1
star