bixuanzju/emacs.d bixuanzju/emacs.d

  • Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language
    Emacs Lisp
  • Created over 10 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bixuanzju/emacs.d
github

bixuanzju

Reviews

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

Repository Details

My personal emacs configuration

More Repositories

1

sicp-exercises-elisp

Exercises from the book SICP using Elisp
Emacs Lisp
13
star
2

papers-phd

Being archives for papers/projects I've worked on in my PhD studies.
TeX
5
star
3

ESOP2019-artifact

Distributive Disjoint Polymorphism for Compositional Programming
Coq
5
star
4

PhD-thesis

TeX
4
star
5

phd-thesis-artifact

Coq
3
star
6

FunImpl

Haskell
2
star
7

agda-tutorial

Exercises from "Dependently Typed Programming in Agda"
Agda
2
star
8

first-class-trait

Type system for first-class traits
Haskell
2
star
9

dependent_typed

From Simply Typed Lambda Calculus to Dependently Typed Lambda Calculus
Haskell
2
star
10

nested-composition

The Essence of Nested Composition
Coq
1
star
11

category-agda

Being my Agda exercise of learning category theory.
Agda
1
star
12

demo-code

demo code for Idirs meetup
Idris
1
star
13

solutions-tddi

Being the solutions to the exercises contained in the book "Type-Driven Development with Idris"
Idris
1
star