Discover @ckoparkar Open Source projects

Chaitanya Koparkar (@ckoparkar)

ckoparkar

Stars
14
Global Rank 798,133 (Top 28 %)
Followers 49
Following 21
Registered over 11 years ago
Most used languages

Haskell
33.3 %

Emacs Lisp
11.1 %

OCaml
11.1 %

Agda 11.1 %

Lua
11.1 %

Ruby
11.1 %

Shell
11.1 %
Location 🇺🇸 United States
Country Total Rank 139,947
Country Ranking

Agda 75

OCaml
916

Haskell
1,371

Emacs Lisp
2,597

Lua
2,789

awesome-wm-config

Configuration files for Awesome WM.

unfoldings

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

dotfiles

Lunix configuration files

service-broker-api

Generic api to implement CF service brokers.

llvm-hs183

Minimal testcase for llvm-hs183

dotemacs

Emacs configuration

gibbon-ghc

Gibbon primitives implemented in GHC and some benchmarks

arch-llvm6

LLVM 6 binaries for Arch

tt101

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

ocaml-benchmarks