sarahzrf/coq-depleted sarahzrf/coq-depleted

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Coq
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sarahzrf/coq-depleted
github

sarahzrf

Reviews

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

Repository Details

More Repositories

1

sequents

A blatant ripoff of Logitext
PureScript
5
star
2

minelang

A tiny language with compound data structures and first-class functions that compiles to (very inefficient) Minecraft commands. (Not really as impressive as it might sound.)
Haskell
4
star
3

legend

A Ruby engine for Zelda-like games. *DEFUNCT*
Ruby
4
star
4

quick

My stab at making something like a Smalltalk development environment for Ruby.
Ruby
3
star
5

pyglossary-cc-cedict

Convert CC-CEDICT into a pleasantly-formatted dictionary!
Python
3
star
6

STG

Mini Haskell compiler
Haskell
2
star
7

cas

A GUI for doing forward reasoning (especially algebra), backed by type theory
Haskell
2
star
8

knits

Haskell
1
star
9

econony

Ruby
1
star
10

vampire

Evil Haskell expression tree analysis and visualization
Haskell
1
star
11

acme-io

Haskell
1
star
12

TooManyPlants

This is the code (and resources) for my Minecraft mod, TooManyPlants. TMP is no longer being developed (by me, at least), but you're free to compile it if you want. WARNING: this code sucks
Java
1
star
13

ryver_eval_bot

Ruby
1
star
14

Clientside

A simple Rack middleware and JavaScript generator for basic remote method invocation over websockets.
Ruby
1
star
15

Bandcamp-Rehoster

A set of crappy, hacked-together Perl scripts to download a Bandcamp album and upload it to Youtube.
Python
1
star