Popular repositories Loading

1. GTLC GTLCPublic

   Interpreter for gradually-typed lambda calculus with mutable references

   Haskell 8

2. talks talksPublic

   LaTeX sources for my talks

   TeX 2

3. monotonic monotonicPublic

   Monotonic References for Gradual Typing in Agda

   Agda 1

4. openai-node openai-nodePublic

   Forked from openai/openai-node

   The official Node.js / Typescript library for the OpenAI API

   TypeScript 1

5. dotfiles dotfilesPublic

   Emacs Lisp

6. awesome-emacs awesome-emacsPublic

   Forked from emacs-tw/awesome-emacs

   A community driven list of useful Emacs packages, libraries and others.

   Emacs Lisp