mgree/cypress mgree/cypress

  • Stars
    star
    2
  • Language
    HTML
  • Created about 3 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mgree/cypress
github

mgree

Reviews

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

Repository Details

Cypress @ Stevens website

More Repositories

1

ffs

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
Rust
455
star
2

smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
OCaml
111
star
3

kmt

Kleene algebra modulo theories
OCaml
26
star
4

trampoline

Safely running potentially non-terminating functions in Elm.
JavaScript
10
star
5

tmpl

Topic Modeling in Programming Languages
JavaScript
7
star
6

phpenkoder

Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.
PHP
4
star
7

dts

Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing
Standard ML
3
star
8

sleepwave

Timer with a grace period, for the "sleep wave" sleep training technique.
Elm
2
star
9

much

Multi-user Conference Hall, a text-based virtual environment for conferences
Rust
2
star
10

mgt

Implementation of "Migrating Gradual Types" by Campora et al.
Rust
1
star
11

z3canary

Shell
1
star
12

literary_ebooks

A bot that tweets quotes from books
Python
1
star
13

crossbars

Tools for word puzzles (like acrostics and crosswords)
Elm
1
star
14

idioms

Finding idioms in straight-line programs.
HTML
1
star
15

conflict

Scheduling program committee meetings with conflicts of interest
Haskell
1
star
16

katbury

KAT rewriting using egg's e-graphs: KATbury Kreme egg
Rust
1
star