riaqn/orton riaqn/orton

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Agda
  • Created about 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
riaqn/orton
github

riaqn

Reviews

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

Repository Details

generalized model of CTT based on work of Orton et al.

More Repositories

1

china-dns

A DNS proxy for netizens in China
Haskell
43
star
2

faptrack

aggregate your videos files and track your viewing activities
Python
19
star
3

python-nvidia-codec

Pythonic Nvidia Codec Library
Python
13
star
4

blog

static blog generated by Shake with Shakespeare and Pandoc
Haskell
7
star
5

sicp-exercise

Exercises in SICP(not finished)
Scheme
5
star
6

resolve

a Haskell library for name resolution (DNS)
Haskell
5
star
7

interfacelift-grabber

Download wallpapers from interfacelift
Python
3
star
8

youdao-cli

Youdao Translation with Command Line Interface
Python
3
star
9

estlc

a compiler from Extended Simply Typed Lambda Calculus to LLVM
C++
3
star
10

tensorflow-rocm-gfx803

Shell
1
star
11

quidditch

The most boring game I ever played (and made)
HTML
1
star
12

udp-laundry

UDP tunnel in stateful TCP connection without retransmission
Haskell
1
star
13

coc

Interpreter for Calculus of Construction
Haskell
1
star