All Git Users → namin

14 open source projects by namin

[ Open user page on Github ]

1. Dot

formalization of the Dependent Object Types (DOT) calculus

✭ 132

coq oop

2. Io.livecode.ch

interactive programming tutorials, powered by Github and Docker

✭ 108

html

3. Staged Minikanren

explorations of multi-stage logic programming in miniKanren

✭ 80

scheme

4. Unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

✭ 65

html

5. Pink

Collapsing Towers of Interpreters (in Scheme)

✭ 44

scheme metaprogramming

6. Grk2clj

From Greek to Clojure, Clojure/conj 2013

✭ 17

tex

7. Inc

an incremental approach to compiler construction

✭ 702

c scheme compiler x86

8. leanTAP

A Declarative Theorem Prover for First-Order Classical Logic

✭ 24

scheme clojure minikanren theorem-prover

9. propagators

the Art of the Propagator

✭ 37

scheme racket perl ruby

10. clpsmt-miniKanren

CLP(SMT) on top of miniKanren

✭ 31

scheme racket minikanren constraints smt

11. logically

explorations in core.logic

✭ 108

clojure abstract-interpretation paper-implementations binders

12. lms-verify

generative programming & verification

✭ 29

c scala verification frama-c generative-programming multi-stage-programming

13. lambdajam

Workshop on Program Transformations

✭ 22

scheme c workshop program-transformations

14. scalogno

prototyping logic programming in Scala

✭ 38

scala smt tabling

1-14 of 14 user projects