• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created over 14 years ago
  • Updated almost 14 years ago

Reviews

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

Repository Details

an implementation of the not-so-famous chase algorithm, plus a first order logic parser

More Repositories

1

CoffeeScriptRedux

😓 rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility
CoffeeScript
1,844
star
2

commonjs-everywhere

🌈 minimal CommonJS browser bundler with aliasing, extensibility, and source maps
CoffeeScript
158
star
3

everything.js

🌌 a single javascript file that contains every ECMA-262 grammatical production
JavaScript
129
star
4

purescript-demo-mario

🐢 implementation of Elm's Mario demo in PureScript
PureScript
74
star
5

coffee-of-my-dreams

💡 some minor language changes and lots of awesome additions
57
star
6

cscodegen

♻️ CoffeeScript code generator
CoffeeScript
30
star
7

cjs-string-scanner

🔍 string-tokenizing CommonJS module; mimicks Ruby's StringScanner API
CoffeeScript
21
star
8

ambilight

🏮 ambilight clone for your arduino and some WS2801s using boblight
Arduino
16
star
9

bigint-serialiser

a transcoder for serialising JavaScript BigInt values to a Uint8Array or any other array-like object
JavaScript
14
star
10

coffeescript-project

🌱 a great starting point for any CoffeeScript project
CoffeeScript
11
star
11

purescript-spidermonkey-ast

🐒 PureScript bindings for Mozilla's SpiderMonkey AST format
PureScript
10
star
12

FunctionalJS

Extensions to the Function object that allow a more functional programming style
JavaScript
9
star
13

us-states

🗽 mappings from USPS code to US state name
8
star
14

commonjs-everywhere-web

demos for commonjs-everywhere
CoffeeScript
7
star
15

tumblr-scraper

a quick and dirty image scraper for tumblr blogs; no tests, no docs, just sloppy code
Ruby
6
star
16

home-configuration-files

🏡 configuration files commonly found in one's home directory (.bashrc, .vimrc, etc), customized to my personal preferences
Vim Script
6
star
17

cs502

CS502 projects
C
5
star
18

ECMAScript-Glossary

🔣 A shared vocabulary for people who need to talk about ECMAScript
5
star
19

transmissionDownload

📥 Chrome extension to aid in the addition of torrents to Transmission through the RPC
JavaScript
5
star
20

proposal-first-class-protocols-polyfill

polyfill for first-class protocols runtime component
JavaScript
4
star
21

jedediah

[unmaintained] CLI option parser that behaves as one would expect
CoffeeScript
3
star
22

samevalueset

ECMAScript Set, but using SameValue instead of SameValueZero
JavaScript
3
star
23

MooTools-LazyClass

Generates a MooTools class that lazily loads the real class on first instantiation
JavaScript
3
star
24

MooTools-Range

MooTools class to provide functionality similar to Ruby's Range class
JavaScript
2
star
25

unicode-confusables-data

Unicode's confusables.txt document in a programmatically consumable format
JavaScript
2
star
26

MooTools-Abbrev

MooTools class to calculate the unique abbreviations for a given set of strings
JavaScript
2
star
27

project-euler

solutions to project euler problems
Haskell
2
star
28

MooTools-Struct

MooTools class to generate classes that are used similarly to C's struct construct
JavaScript
2
star
29

purescript-filterable

💡 trying to generalise the concept of a structure that can be filtered
PureScript
2
star
30

esdispatch-based-linter

💡 proof-of-concept pluggable javascript linter with query support
JavaScript
2
star
31

cpsa-ocsp-pcs

modeling optimistic contract signing protocols with private contract signatures in CPSA
Scheme
2
star
32

MARS

Measuring Architectures for Resilient Security
Scala
1
star
33

NDLog-Actors

the beginnings of a naive NDLog implementation in Scala using Actors
Scala
1
star
34

PHPDB

A nice, minimal database framework for PHP
PHP
1
star
35

MooShell-Libs

Provides common JS and CSS resources for use in MooShell demos
JavaScript
1
star
36

purescript-confusables

an implementation of the Confusable Detection algorithm from Unicode Technical Standard #39
PureScript
1
star
37

url-shortener

🔗 a toy application for databases class
CoffeeScript
1
star
38

MooTools-StringScanner

A MooTools class that performs lexical scanning operations on a String
JavaScript
1
star
39

neo4j-experiment

some neo4j stuff for class
Ruby
1
star
40

resume

👔 my personal résumé, in latex
Ruby
1
star
41

purescript-demo-url-shortener

URL shortener demo app in PureScript
PureScript
1
star
42

MooTools-Footnotes

Finds all links or citations for a given element and generates footnotes
JavaScript
1
star
43

node-farmhash

🐮 native node bindings to the FarmHash family of hash functions
C++
1
star
44

MooTools-Inspect

adds an inspect method to native javascript classes that returns a human-readable interpretation of the object
JavaScript
1
star
45

ssss.hs

👭 Shamir's Secret Sharing Scheme
Haskell
1
star
46

droid-turbo-wireless-charging-cradle

3D model of charging cradle for Droid Turbo wireless charger
1
star
47

PHPutil

a small, random collection of useful PHP utility functions
PHP
1
star