rntz

datafun

Research on integrating datalog & lambda calculus via monotonicity types

quick_macro

Quick macros for talon

rntztex

Styles, a class, and a Makefile for LaTeX projects

ccc

a categorical compiler compiler

stlc

Stuff about the simply typed lambda calculus

thesis

indexed_clipboard

An indexed clipboard for talon.

datalog

datalog implementation in racket

datalog-experience-report

emacs-talon

Some emacs talon integration stuff

minikanren-nbe

Normalisation by evaluation in minikanren

ocpo

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

talon_emacs_draft

Using emacs as a draft window for talon.

emacs

Mirror of GNU Emacs

FixedPointDecimals.jl

Julia fixed-point decimals built from integers

haskell-rec-def

APIs for more recursive definitions

hazel

Hazel, a live functional programming environment with typed holes

knausj_talon

Config for talon for Mac, Windows and Linux. Very much in progress.

lexicon

Word lists for use in Talon

microtalespin

Fiddling with micro-TaleSpin

pyhashlife

ReTestItems.jl

Run testitems in parallel.

stl-datafun-talk

StrangeLoop 2017 presentation on Datafun

talon-keeper

Implementation of the 'keeper' command for talon voice

talon-tutoring-resources

talon_draft_window

A window for editing prose using the Talon voice control system

talon_layout

Remembering and restoring window configuration in talon

talonscript-mode

🦅 Emacs major-mode for .talon files (from Talon Voice).

west

Wiki

Wiki for Talon beta