keyz/OhIsabelle keyz/OhIsabelle

  • Stars
    star
    1
  • Language Isabelle
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
keyz/OhIsabelle
github

keyz

Reviews

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

Repository Details

some magic from B522

More Repositories

1

identity-obj-proxy

An identity object using ES6 proxies. Useful for mocking webpack imports like CSS Modules.
JavaScript
474
star
2

react-atv-img

A port of @drewwilson’s atvImg (Apple TV 3D parallax effect) library in React.
JavaScript
311
star
3

redux-worker-middleware

👷 Unopinionated Web Workers for Redux
JavaScript
169
star
4

the-super-tiny-interpreter

Let's explain what a closure is by writing a JavaScript interpreter in JavaScript.
JavaScript
155
star
5

repo.cat

🐱 Trending GitHub repos on Hacker News.
JavaScript
85
star
6

p423-compiler

A Scheme to x86-64 compiler in Scheme
Scheme
76
star
7

jest-css-modules-example

JavaScript
24
star
8

c311-get-started

An opinionated guide for setting up Racket and Emacs on a Mac
Emacs Lisp
17
star
9

keyz

TypeScript
6
star
10

alfred-prettier

Run Prettier in Alfred
JavaScript
6
star
11

babel-plugin-transform-optimize-object-literal

Rewrites object and array literals with JSON.parse calls.
JavaScript
5
star
12

codestamp

A language-agnostic tool for signing and verifying your (codegen'd) files and contents.
TypeScript
5
star
13

bn0

`bn0`: babel-node with pre-loaded nightly (stage-0) presets
JavaScript
4
star
14

lambda.ly

A Scheme interpreter/lambda calculus reducer in JavaScript.
JavaScript
3
star
15

advent-of-code-js

Advent of Code (in Modern JavaScript) http://adventofcode.com/
JavaScript
2
star
16

microkanren-js

JavaScript
2
star
17

atom-simple-kill-ring

Emacs style ctrl-k, ctrl-y, and ctrl-w using a separate clipboard.
JavaScript
1
star