patrl/cont-playground patrl/cont-playground

  • Stars
    star
    2
  • Language
    Jupyter Notebook
  • Created over 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
patrl/cont-playground
github

patrl

Reviews

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

Repository Details

A menagerie of sketches and speculations using continuations (WiP)

More Repositories

1

emacs.d

My emacs configuration (redux)
Emacs Lisp
13
star
2

.doom.d

Private module for doom emacs
Emacs Lisp
6
star
3

anaphora-seminar

MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out
TeX
6
star
4

getting-high-seminar

Materials for 24.979 - "Getting high: scope, projection, and evaluation order"
TeX
5
star
5

hackcell

Apecs + SDL2 roguelike
Haskell
3
star
6

lingtex

My OPINIONATED LaTeX classes for syn-sem
TeX
3
star
7

nethask

Haskell
2
star
8

patrl.github.io

My personal site, powered by org-publish.
Emacs Lisp
2
star
9

actr-notebook

Jupyter Notebook
2
star
10

monadicHeim

A state-monadic update semantics (WiP)
Haskell
2
star
11

exhMonad

Computing exhaustification in haskell
Haskell
2
star
12

rustlets

Tiny rust babies
Rust
1
star
13

24.954

MIT pragmatics in linguistic theory course materials
TeX
1
star
14

gnome-inform7-nixpkg

WIP nix-expression for building gnome-inform7
Nix
1
star
15

selectionfest

Berlin selectionFest website
HTML
1
star
16

esslli2023-accessibility

1
star
17

lentil

Cooking up a yst clone with dhall (WiP)
Haskell
1
star
18

hhu-haskell

Jupyter Notebook
1
star
19

mg-playground

Jupyter Notebook
1
star
20

how-to-design-programs

1
star
21

setTalk

Functions to help with shifting from haskell lists to characteristic functions and vice versa (WiP)
Haskell
1
star