patrl/emacs.d patrl/emacs.d

  • Stars
    star
    10
  • Rank 1,772,261 (Top 36 %)
  • Language
    Emacs Lisp
  • Created over 2 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
patrl/emacs.d
github

patrl

Reviews

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

Repository Details

My emacs configuration (redux)

More Repositories

1

.doom.d

Private module for doom emacs
Emacs Lisp
6
star
2

anaphora-seminar

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

getting-high-seminar

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

hackcell

Apecs + SDL2 roguelike
Haskell
3
star
5

lingtex

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

nethask

Haskell
2
star
7

patrl.github.io

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

actr-notebook

Jupyter Notebook
2
star
9

monadicHeim

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

cont-playground

A menagerie of sketches and speculations using continuations (WiP)
Jupyter Notebook
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