tjknoth

Santa Cruz, CA

Pinned Repositories

cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell00
cse130-web
Web page for CSE 130
Language:JavaScript00
dotfiles
some dotfiles
Language:Shell0 1 00
GGDMS
Distributed order statistic selection with GPUs
Language:HTML0 3 01
GGMS-Distributed
Language:Cuda00
Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Language:Haskell0 1 00
inference
Language:Haskell0 1 00
klon-clone
00
resyn
Language:Haskell21 3 14

tjknoth's Repositories

tjknoth/resyn
Language:Haskell21 3 14
tjknoth/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell00
tjknoth/cse130-web
Web page for CSE 130
Language:JavaScript00
tjknoth/dotfiles
some dotfiles
Language:Shell0 1 00
tjknoth/GGDMS
Distributed order statistic selection with GPUs
Language:HTML0 3 01
tjknoth/GGMS-Distributed
Language:Cuda00
tjknoth/Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Language:Haskell0 1 00
tjknoth/inference
Language:Haskell0 1 00
tjknoth/klon-clone
00
tjknoth/logict
A continuation-based backtracking logic programming monad
Language:Haskell0 0 00
tjknoth/minisynth
Benchmarking approaches to tree search
Language:Haskell0 1 00
tjknoth/lbstanza-z3
LBStanza Wrapper for Z3 Theorem Solver
tjknoth/myth
Type-and-example-driven program synthesis for functional programming languages
Language:OCaml
tjknoth/nbaanalyticsapp
Materials for analytics hackathon application
Language:TeX1 0
tjknoth/skeem
Scheme interpreter in Haskell
Language:Haskell1 0
tjknoth/solver
a SAT solver
Language:C++1 0
tjknoth/stanzasite
Language:TeX0 0
tjknoth/term-colors
tjknoth/tjknoth.github.io
a website
Language:HTML1 0
tjknoth/v8
The official mirror of the V8 Git repository
Language:C++
tjknoth/waves
Language:Rust1 0
tjknoth/z3
The Z3 Theorem Prover
Language:C++1 0