Giters
kthielen

kthielen

Geek Repo

36

followers

4

following

9

stars

Location:New York, NY

Github PK Tool:Github PK Tool

kthielen's starred repositories

hobbes

A language and an embedded JIT compiler

Language:CLicense:Apache-2.0Stargazers:1161Issues:0Issues:0

nominal

Haskell implementation of nominal datatypes and functions

Language:HaskellLicense:BSD-3-ClauseStargazers:39Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2422Issues:0Issues:0

crypto-agda

Cryptographic Constructions in the Type Theory of Agda

Language:AgdaLicense:BSD-3-ClauseStargazers:51Issues:0Issues:0

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellLicense:BSD-3-ClauseStargazers:1565Issues:0Issues:0

shikamo

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

skip

A programming language to skip the things you have already computed

Language:JavaScriptLicense:MITStargazers:1969Issues:0Issues:0

Xpedite

A non-sampling profiler purpose built to measure and optimize performance of C++ low latency/real time systems

Language:PythonLicense:Apache-2.0Stargazers:150Issues:0Issues:0

testplan

Testplan, a multi-testing framework, because unit tests can only go so far..

Language:PythonLicense:Apache-2.0Stargazers:179Issues:0Issues:0