ckoparkar/unfoldings ckoparkar/unfoldings

  • This repository has been archived on 25/Dec/2023
  • Stars
    star
    2
  • Language
    Haskell
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ckoparkar/unfoldings
github

ckoparkar

Reviews

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

Repository Details

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

More Repositories

1

awesome-wm-config

Configuration files for Awesome WM.
Lua
3
star
2

dotfiles

Lunix configuration files
Shell
2
star
3

service-broker-api

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

llvm-hs183

Minimal testcase for llvm-hs183
Haskell
1
star
5

dotemacs

Emacs configuration
Emacs Lisp
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