• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Standard ML
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

An example of how to use SML/NJ's Visible Compiler APIs

More Repositories

1

vim-as-an-ide

Workshop on how to use Vim Plugins.
Vim Script
1,952
star
2

pandoc-starter

📄 My pandoc markdown templates and makefiles
TeX
525
star
3

as-tree

Print a list of paths as a tree of paths 🌳
Rust
454
star
4

tufte-pandoc-css

Starter files for using Pandoc Markdown with Tufte CSS
CSS
311
star
5

git-heatmap

📊 Display a heatmap for oft-edited files
Shell
292
star
6

vim-superman

Read Unix man pages faster than a speeding bullet!
Vim Script
190
star
7

pandoc-markdown-css-theme

CSS files and a template for using Pandoc to generate standalone HTML files
CSS
155
star
8

pandoc-sidenote

Convert Pandoc Markdown-style footnotes into sidenotes
Haskell
136
star
9

dotfiles

My personal collection of configuration files.
Shell
122
star
10

vim-better-sml

🎉 Enjoy writing SML within Vim
Vim Script
101
star
11

tufte-pandoc-jekyll

A Jekyll theme for using Tufte CSS with Jekyll + Pandoc
SCSS
66
star
12

git-madge

🚀 Git-aware madge wrapper
Shell
65
star
13

hpstr-theme

A Medium-like Octopress theme based on the HPSTR Jekyll theme.
CSS
63
star
14

tunemachine

🎶 A time machine for your Spotify tunes!
CoffeeScript
62
star
15

calz

📆 A natural language alternative to Unix 'cal'
Haskell
59
star
16

bask

😎 Bask in the convenience of a task runner for bash
Shell
58
star
17

vim-github-hub

A Vim filetype plugin for github/hub ⚡
Vim Script
49
star
18

latex-solarized

Provides three LaTeX packages for using the Solarized theme in LaTeX code listings.
TeX
29
star
19

stargaze

⭐ Gaze at repos you've starred
Shell
20
star
20

resume

My resume, written in XeTeX.
TeX
14
star
21

latex-hw-template

LaTeX template useful for formatting homework assignments
TeX
13
star
22

blog

an Octopress blog by Jake Zimmerman
Liquid
13
star
23

cmu-latex-hw-template

A LaTeX template for homework assignments, used widely at CMU.
TeX
12
star
24

pandoc-markdown-jekyll-theme

CSS
10
star
25

viewjrnl

Shell script to group jrnl entries by date and add color.
Shell
7
star
26

bin

My collection of personal scripts. They're not documented and often break. Ask if you have questions.
Shell
7
star
27

talks

💬 Slides and descriptions for talks I've given
TeX
6
star
28

starter-zshrc

You should really consider switching to zsh!
Shell
6
star
29

multi-sub

Substitute a pattern with a replacement on specific lines
OCaml
6
star
30

vim-ispc

Vim syntax highlighting for ISPC.
Vim Script
6
star
31

barchart

📊 Print a bar chart from the command line
Rust
5
star
32

ragel-bison-parser-sandbox

A small parser for the lambda calculus in C++ using Bazel, Ragel, and Bison
C++
5
star
33

cmd-queue

A simple queueing service for CMU students.
CoffeeScript
5
star
34

diff-locs

List the file locations involved in a diff
Haskell
5
star
35

symbol

🔨 A build tool for Standard ML
Shell
4
star
36

stlc-infer

A small interpretter for the simply typed lambda calculus, with type inference
Haskell
4
star
37

multi-grep

Search for a pattern on specific lines
Standard ML
3
star
38

tsim

A Turing machine simulator in SML
Standard ML
3
star
39

rust-lc-interp

Toy interpreter for the lambda calculus to explore Rust
Rust
2
star
40

auditors-webhook

Post commit review using Auditors
CoffeeScript
2
star
41

jez.github.io

A collection of my projects, contact info, and life.
CSS
2
star
42

google-apps-cmu-login

Bare bone demo of how to use Google OAuth2 with Python Social Auth in Django to authenticate by Andrew account.
Python
2
star
43

collate

Command line filter for collating the top and bottom halves of a file
Haskell
1
star
44

awkward-bun

Python
1
star
45

marauder

CSS
1
star
46

spacer

Blank macOS app to take up space
Rust
1
star
47

thoughts

A collection of some essays and longer-form writings.
CSS
1
star
48

flac-post-tag

Generate "post tag system" traces
Haskell
1
star
49

language-communities-on-github

TeX
1
star
50

th-portfolios

Simple app to coordinate uploading and downloading of resumes and profile information at TartanHacks 2014
JavaScript
1
star
51

as-tree-cpp

Print a list of paths as a tree of paths 🌳
Starlark
1
star
52

penndot-dash

A dashboard I designed for one of my class projects
1
star
53

homebrew-formulae

A Homebrew tap for my personal CLI tools
Ruby
1
star
54

JBooks

Java
1
star
55

jquery-lab

Simple game demo in jQuery to demonstrate some principles of frontend development.
JavaScript
1
star
56

vim-sorbet

Vim Script
1
star
57

collate-rs

Rust
1
star