AD1024/Tiny-Lang AD1024/Tiny-Lang

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • Created almost 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AD1024/Tiny-Lang
github

AD1024

Reviews

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

Repository Details

Tiny Language——A toy language built for studying combinators

More Repositories

1

SMS2Email

A solution for receiving verification code sending to your phone while you are away from home. (no longer being maintained)
Java
30
star
2

veripy

Python3 auto-active verification library (migrated to an Intel project)
Python
24
star
3

nanakagura-rainbow-fart

カグラナナ（神乐七奈）Rainbow Fart语音包
Python
21
star
4

ad1024.github.io

MyBlog
HTML
12
star
5

dtlc

Dependently typed lambda calculus - A Simple Proof Assistant
OCaml
11
star
6

egg-taichi

Experiment egg for taichi
Rust
11
star
7

JsonParser

A JSON Parser written in Python3
Python
9
star
8

Music-Scores

Music scores
LilyPond
6
star
9

Sager

A Demonic Graph Synthesizer
Racket
4
star
10

flexmatch

Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
Python
4
star
11

ShiYiQuanEvent

Source Code of Android Client of ShiYiQuan
Java
3
star
12

resume

My resume; Latest version available at my blog
TeX
3
star
13

papers-fun

A collection of papers with funny names
TeX
2
star
14

CatsTail

CatsTail: Packet program synthesis via equality saturation
Rust
2
star
15

Calculator

A hand-written calculator(REPL) written in Python3
Python
1
star
16

BNDSOJ

An online judge based on UOJ - Thanks to UOJ
JavaScript
1
star
17

Advanced-PL

TeX
1
star
18

simge

Unicall simulation
Rust
1
star
19

Wuism-books

TeX
1
star
20

SSR-Script

A back up for ssr build-up script
Shell
1
star
21

CSE-402-Course-Note

CSE 402: Domain Specific Language, Spring 2019 by Professor Ras Bodik
1
star
22

Subtitler

An automatic subtitler using XfAPI
Python
1
star
23

cdcl-rust

A CDCL SAT Solver written in Rust (WIP)
Rust
1
star
24

redart

A (cleaner) re-implementation of DART (SIGCOMM 2022): a real-time RTT monitoring algorithm
Python
1
star
25

BiliInformation

A Information Listener Client Of Bilibili.Implemented By using bilibili's api server and adapt json data objects in the Application.IMPORTANT:This is an Android Studio Project
Java
1
star