zmwangx/Typeset-EGA-SGA zmwangx/Typeset-EGA-SGA

  • Stars
    star
    12
  • Rank 1,589,134 (Top 32 %)
  • Language
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zmwangx/Typeset-EGA-SGA
github

zmwangx

Reviews

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

Repository Details

Typeset version of EGA and SGA by Grothendieck.

More Repositories

1

rust-ffmpeg

Safe FFmpeg wrapper.
Rust
1,246
star
2

rust-ffmpeg-sys

FFmpeg bindings for Rust.
Rust
120
star
3

ets

Command output timestamper
Go
109
star
4

caterpillar

Hardened HLS merger
Python
50
star
5

metadata

Media file metadata for human consumption
Rust
46
star
6

homebrew-npm-noob

Generate Homebrew formulae for npm packages
Python
38
star
7

rule30

Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
Python
30
star
8

storyboard

Customizable video storyboard generator. (Deprecated. Use https://github.com/zmwangx/metadata.)
Python
27
star
9

dotfiles

My config files on macOS (also works on Linux, but with limited testing).
Shell
23
star
10

pm

Preview man page in your browser as you edit
C++
11
star
11

ddg-bangs

DuckDuckGo bangs scraper and registry
Python
11
star
12

mDNSSupervisor

Monitor mDNSResponder and restart it when it's out of control
Go
10
star
13

pyonedrive

OneDrive API/CLI client written in Python (OneDrive API v1.0)
Python
8
star
14

xdgappdirs

A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".
Python
7
star
15

dropzone3-actions

My Dropzone 3 custom actions
Ruby
7
star
16

miller-rabin

Fast, deterministic* Miller-Rabin primality test for Python
C
6
star
17

dim

Single module HTML parser and simple DOM implementation with CSS selector support
Python
6
star
18

YODO

Dead simple ephemeral file hosting service
Python
5
star
19

debounce

lodash debounce/throttle ported to Go
Go
4
star
20

AreYouSure

Are you really sure?
TypeScript
3
star
21

repocards

Auto-generate GitHub-style repository cards with GitHub Actions
JavaScript
3
star
22

release-feeds

Software release feeds w/ GitHub Actions and GitHub Pages bootstrapped on Debian's watch infrastructure
Python
3
star
23

imgur

CLI authorization, authentication, and upload wrapper around PyImgur
Python
2
star
24

ncov

Another 2019-nCoV stats gathering and visualization project
Python
2
star
25

YouTubeLiveRecorder

Simple cross-platform Qt GUI for recording YouTube livestreams
Python
2
star
26

instatools

Instagram scraping tools
Python
1
star
27

chocolatey-googler

Python
1
star
28

docker-arm64v8-rust-ffmpeg

Development-oriented arm64 Docker images w/ Rust toolchain and FFmpeg devel libs
Dockerfile
1
star
29

ghuc

Upload images/documents to GitHub as issue attachments
Python
1
star
30

homebrew-track

🍏🍎 Search homebrew/core's issue/pr trackers from the command line
Python
1
star
31

DirectLinks

Makes indirect links on Google and Facebook direct.
JavaScript
1
star
32

Project-Euler

Project Euler mathematical/computer programming challenge
Jupyter Notebook
1
star
33

pyzmwangx

A collection of small Python utilities used in my day-to-day scripts.
Python
1
star
34

ham-radio-test-prep

Interactive front-end to ARRL's technician class question pool
HTML
1
star
35

pypi-release-bot

Bot for automatically publishing releases to PyPI
Python
1
star
36

em2a

Emoji to ASCII art
Ruby
1
star
37

pymccusb

Python interface for Measurement Computing Corp (MCC) data acquisition devices
Python
1
star
38

diceware

C implementation of the Diceware passphrase generation scheme. http://world.std.com/~reinhold/diceware.html
C
1
star
39

wchardet

chardet in web browser w/ Rust & Wasm
Rust
1
star
40

docker-selenium-python

Python 3, selenium, Chromium/chromedriver or Firefox/geckodriver.
Dockerfile
1
star
41

bilibili-feedgen

Bilibili user feed generator
Python
1
star
42

cloudfloat

Dynamic DNS client for Cloudflare
Go
1
star
43

Fortune

fortune(6) in your new tab page
HTML
1
star