• Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Swift
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 3 years ago

Reviews

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

Repository Details

A simple video convertor for Mac

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

golpy

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

polycalc

๐Ÿงฎ Polynomial Calculator
C
12
star
7

inventing-monads

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

texnical-vim-kts-conf-2020

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

awesome-korean-translations

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

prospect-analyzer

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

CycloidGen

Draws cycloids on parametrized curves
Python
6
star
12

DeTeXtive

TeX
5
star
13

simplesnt

ROPAS Show and Tell LaTeX beamer class
TeX
5
star
14

ebproofx

ebproof extended
TeX
5
star
15

latex-report-classes

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

python101

๐Ÿ Python 101
TeX
4
star
17

asymptote-tutorial-latex-workshop-2021

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

simplebnf.typ

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

type-safe-programming

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

baekjoon-solutions

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

galois-in-coq

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

rs-template

An opinionated ReScript React project template
JavaScript
3
star
23

project-euler

My Project Euler solutions
Python
3
star
24

latex-study

TeX
3
star
25

effect_based_interpreter

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

emacs-config

My Emacs configuration file
Org
3
star
27

blog

MDX
3
star
28

stappl

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

snu-cse-bsc-thesis

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

ReacttRace.old

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

chapterstyle-latex-workshop-2019

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

lamb

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

beamer-tutorial-latex-workshop-2020

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

cps_callcc_yinyang

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

hello-raytracer

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

dotfiles.old

My dotfiles
Shell
2
star
37

key-value-tutorial-latex-workshop-2021

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

mir-escape-analysis

Rust MIR escape analysis
Rust
2
star
39

cycloidal-surfaces

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

sicp-solutions

My solutions to SICP
Scheme
2
star
41

fun-king-functors

Playing around with OCaml functors
OCaml
2
star
42

abstracting-definitional-interpreters

OCaml
2
star
43

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

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

fun-king-proxy

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

ropas-symbol

TeX
2
star
46

Extensible

Kotlin standard extension functions for Swift
Swift
1
star
47

the-texbook-exercises

TeX
1
star
48

exception-playground

ReScript
1
star
49

news-classifier

Jupyter Notebook
1
star
50

latex-old-hangul

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

the-c-programming-language

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

floating-fun

C
1
star
53

scheme-swift

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

curriculum-vitae

TeX
1
star
55

just-a-clock

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

gisa

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

BookLog

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

SwiftUI-Nested-Layout

Sample project for my blog post:
Swift
1
star
59

rs

OCaml
1
star
60

mpi-sws-semantics

Coq
1
star
61

algorithms

Algorithm implementations
OCaml
1
star
62

scheme-cpp

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

definitional-interpreters

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

Yaksok

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

hello-worlds

Hello World programs for various programming languages
Java
1
star
66

awesome-snu-ece

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

advent_of_code_2023

Advent of Code 2023
OCaml
1
star
68

rust-escape-analysis-thesis

My SNU ECE BS thesis
TeX
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