ckoparkar/dotemacs ckoparkar/dotemacs

  • This repository has been archived on 25/Dec/2023
  • Stars
    star
    1
  • Language
    Emacs Lisp
  • Created about 8 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ckoparkar/dotemacs
github

ckoparkar

Reviews

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

Repository Details

Emacs configuration

More Repositories

1

awesome-wm-config

Configuration files for Awesome WM.
Lua
3
star
2

unfoldings

A simple experiment to see if we can fetch definitions (unfoldings) of the transitive closure of a module from a GHC Plugin.
Haskell
2
star
3

dotfiles

Lunix configuration files
Shell
2
star
4

service-broker-api

Generic api to implement CF service brokers.
Ruby
1
star
5

llvm-hs183

Minimal testcase for llvm-hs183
Haskell
1
star
6

gibbon-ghc

Gibbon primitives implemented in GHC and some benchmarks
Haskell
1
star
7

arch-llvm6

LLVM 6 binaries for Arch
1
star
8

tt101

Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties
Agda
1
star
9

ocaml-benchmarks

OCaml
1
star