riaqn/estlc riaqn/estlc

  • This repository has been archived on 15/Oct/2022
  • Stars
    star
    3
  • Rank 3,944,264 (Top 79 %)
  • Language
    C++
  • Created almost 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
riaqn/estlc
github

riaqn

Reviews

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

Repository Details

a compiler from Extended Simply Typed Lambda Calculus to LLVM

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

orton

generalized model of CTT based on work of Orton et al.
Agda
5
star
7

resolve

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

interfacelift-grabber

Download wallpapers from interfacelift
Python
3
star
9

youdao-cli

Youdao Translation with Command Line Interface
Python
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