Zeta611/rust-escape-analysis-thesis Zeta611/rust-escape-analysis-thesis

  • Stars
    star
    1
  • Language
    TeX
  • Created 11 months ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zeta611/rust-escape-analysis-thesis
github

Zeta611

Reviews

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

Repository Details

My SNU ECE BS thesis

More Repositories

1

snu-ece-bsc-thesis

์„œ์šธ๋Œ€ํ•™๊ต ์ „๊ธฐ์ •๋ณด๊ณตํ•™๋ถ€ ํ•™์‚ฌํ•™์œ„๋…ผ๋ฌธ ์–‘์‹ LaTeX ํด๋ž˜์Šค
TeX
37
star
2

simplebnf

โŒฅ Simple Backusโ€“Naur form (BNF) LaTeX package
TeX
36
star
3

SwiftUI-Fractals

โ„๏ธ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI
Swift
33
star
4

easyword

๐Ÿ—ฃ๏ธ๐Ÿ‡ฐ๐Ÿ‡ท Easy Korean Translations of CS Jargons
ReScript
21
star
5

Video-Converter

A simple video convertor for Mac
Swift
18
star
6

golpy

Efficient Conway's Game of Life implemented in Python using NumPy.
Python
14
star
7

polycalc

๐Ÿงฎ Polynomial Calculator
C
12
star
8

inventing-monads

๐Ÿง™๐Ÿปโ€โ™‚๏ธ ๋ชจ๋‚˜๋“œ ๋ฐœ๋ช…ํ•˜๊ธฐ ์„ธ๋ฏธ๋‚˜ ์ž๋ฃŒ
TeX
7
star
9

texnical-vim-kts-conf-2020

2020 ํ•œ๊ตญํ…ํ•™ํšŒ ์ œ13์ฐจ ์ •๊ธฐ์ดํšŒ ๋ฐ ํ•™์ˆ ๋Œ€ํšŒ ๋ฐœํ‘œ์ž๋ฃŒ
TeX
7
star
10

awesome-korean-translations

์šฐ๋ฆฌ๋ง๋กœ ๋œ ์ปดํ“จํ„ฐ ๊ณผํ•™ ๋ฐ ๊ณตํ•™ ๋ถ„์•ผ์˜ ๋ฒˆ์—ญ๋“ค์ž…๋‹ˆ๋‹ค.
6
star
11

prospect-analyzer

๐Ÿ•ณ๏ธ Prospect analysis
OCaml
6
star
12

CycloidGen

Draws cycloids on parametrized curves
Python
6
star
13

DeTeXtive

TeX
5
star
14

simplesnt

ROPAS Show and Tell LaTeX beamer class
TeX
5
star
15

ebproofx

ebproof extended
TeX
5
star
16

latex-report-classes

๋ณด๊ณ ์„œ LaTeX ํด๋ž˜์Šค๋“ค
TeX
4
star
17

python101

๐Ÿ Python 101
TeX
4
star
18

asymptote-tutorial-latex-workshop-2021

๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2021 ๋ฐœํ‘œ ์ž๋ฃŒ
Asymptote
4
star
19

simplebnf.typ

A simple package to format Backus-Naur form
Typst
4
star
20

type-safe-programming

SLConf 2024: ํƒ€์ž…์œผ๋กœ ์•ˆ์ „ํ•˜๊ฒŒ ํ”„๋กœ๊ทธ๋ž˜๋ฐํ•˜๊ธฐ
TeX
4
star
21

baekjoon-solutions

My Baekjoon Online Judge solutions, in various languages including Python 2/3, Swift, OCaml, C/C++, Scheme, and more.
C++
4
star
22

galois-in-coq

๐Ÿ”— Basic theory of Galois connections
Coq
4
star
23

rs-template

An opinionated ReScript React project template
JavaScript
3
star
24

project-euler

My Project Euler solutions
Python
3
star
25

latex-study

TeX
3
star
26

effect_based_interpreter

๐Ÿช„ A modular interpreter using effects and effect handlers
OCaml
3
star
27

emacs-config

My Emacs configuration file
Org
3
star
28

blog

MDX
3
star
29

stappl

๐ŸŽฒ Statically typed probabilistic programming language, feat. GADT
OCaml
3
star
30

snu-cse-bsc-thesis

์„œ์šธ๋Œ€ํ•™๊ต ์ปดํ“จํ„ฐ๊ณตํ•™๋ถ€ ํ•™์‚ฌํ•™์œ„๋…ผ๋ฌธ ์–‘์‹ LaTeX ํด๋ž˜์Šค
TeX
3
star
31

ReacttRace.old

โš›๏ธ React components analysis
OCaml
3
star
32

chapterstyle-latex-workshop-2019

๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ์›Œํฌ์ˆ 2019 ๋ฐœํ‘œ ์ž๋ฃŒ
TeX
3
star
33

lamb

๐Ÿ‘f.(๐Ÿ‘x.f(x x))(๐Ÿ‘x.f(x x))
Rust
3
star
34

beamer-tutorial-latex-workshop-2020

๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ์›Œํฌ์ˆ 2020 Spring ๋ฐœํ‘œ ์ž๋ฃŒ
TeX
3
star
35

cps_callcc_yinyang

โ˜ฏ๏ธ CPS, call/cc, and yin-yang
OCaml
3
star
36

hello-raytracer

Tiny raytracer in modern C++, config file in Lua
C++
2
star
37

dotfiles.old

My dotfiles
Shell
2
star
38

key-value-tutorial-latex-workshop-2021

๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2021 ๋ฐœํ‘œ ์ž๋ฃŒ
TeX
2
star
39

mir-escape-analysis

Rust MIR escape analysis
Rust
2
star
40

cycloidal-surfaces

Draws cycloid surfaces on parametrized curves with Asymptote
Asymptote
2
star
41

sicp-solutions

My solutions to SICP
Scheme
2
star
42

fun-king-functors

Playing around with OCaml functors
OCaml
2
star
43

abstracting-definitional-interpreters

OCaml
2
star
44

modern-tex-engines-automation-ai-latex-workshop-2023

โ€œThe Last Workshopโ€ ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2023 ๋ฐœํ‘œ ์ž๋ฃŒ
TeX
2
star
45

fun-king-proxy

This is a fun-king proxy server! So much fun!
C
2
star
46

ropas-symbol

TeX
2
star
47

Extensible

Kotlin standard extension functions for Swift
Swift
1
star
48

the-texbook-exercises

TeX
1
star
49

exception-playground

ReScript
1
star
50

news-classifier

Jupyter Notebook
1
star
51

latex-old-hangul

LaTeX ์˜›ํ•œ๊ธ€ ์‹์ž
TeX
1
star
52

the-c-programming-language

Exercises from The C Programming Language, K&R
C
1
star
53

floating-fun

C
1
star
54

scheme-swift

Scheme-Swift is a Scheme interpreter written in Swift
Swift
1
star
55

curriculum-vitae

TeX
1
star
56

just-a-clock

It's just a clock for my retired iPad mini.
Swift
1
star
57

gisa

GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
C
1
star
58

BookLog

์ฝ์€ ์ฑ…๋“ค
Swift
1
star
59

SwiftUI-Nested-Layout

Sample project for my blog post:
Swift
1
star
60

rs

OCaml
1
star
61

mpi-sws-semantics

Coq
1
star
62

algorithms

Algorithm implementations
OCaml
1
star
63

scheme-cpp

Minimal Scheme interpreter written in C++
C++
1
star
64

definitional-interpreters

โ‰ Definitional Interpreters for Higher-Order Programming Languages by John C. Reynolds
OCaml
1
star
65

Yaksok

Yaksok is a lightweight framework that brings Promises to Swift
Swift
1
star
66

hello-worlds

Hello World programs for various programming languages
Java
1
star
67

awesome-snu-ece

์„œ์šธ๋Œ€ํ•™๊ต ์ „๊ธฐ๊ณผ ํ•™์ƒ๋“ค์„ ์œ„ํ•œ awesome ๋ฆฌ์ŠคํŠธ
1
star
68

advent_of_code_2023

Advent of Code 2023
OCaml
1
star
69

123

๐Ÿ”ข Programming Language Semantics: It's Easy As 1,2,3 by Graham Hutton
OCaml
1
star
70

cpu-design

CPU design for the Digital Logic Design final project.
Verilog
1
star
71

scheme-ios

Swift
1
star
72

easyword-translator

Python
1
star
73

tabularray-tutorial-latex-workshop-2022

๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2022 ๋ฐœํ‘œ ์ž๋ฃŒ
TeX
1
star