kanaka/bartender kanaka/bartender

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Clojure
  • License
    Mozilla Public Li...
  • Created over 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kanaka/bartender
github

kanaka

Reviews

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

Repository Details

Automated testing of browser rendering engines using Clojure, generative (property-based) testing, formal grammars (EBNF), and a consensus test oracle.

More Repositories

1

mal

mal - Make a Lisp
Assembly
9,969
star
2

miniMAL

A Delightfully Diminutive Lisp. Implemented in < 1 KB of JavaScript with JSON source, macros, tail-calls, JS interop, error-handling, and more.
JavaScript
629
star
3

wac

WebAssembly interpreter in C
C
467
star
4

raft.js

Raft.js is an implementation of the Raft consensus algorithm in JavaScript and using WebRTC.
TeX
319
star
5

warpy

WebAssembly interpreter in RPython
Python
65
star
6

wam

WebAssembly Macro language and processor
JavaScript
63
star
7

libvncserver

Fork of libvncserver with support for tightPng encoding
C
62
star
8

pascal.js

Pascal compiler implemented in JavaScript
JavaScript
43
star
9

Diet-noVNC

noVNC (HTML5 VNC client) without the sugar
JavaScript
41
star
10

instacheck

Property-based testing with inputs defined as EBNF grammars
Clojure
28
star
11

fooboot

boot your foo (build and boot your program in QEMU or on real hardware)
C
26
star
12

mal.workshop

Mal Workshop for LambdaConf 2016
Makefile
18
star
13

rbt_cfs

Red-Black Tree and Completely Fair Scheduler Simulation and Visualization
JavaScript
17
star
14

spacewar

Spacewar arcade game using python and pygame/SDL
Python
13
star
15

OpenVPN-LDAP-Integration

OpenVPN certification management and LDAP/Active Directory based authorization scripts
Python
12
star
16

html5-css3-ebnf

Convert W3C HTML5 and CSS3 spec data to EBNF formal grammars
Clojure
8
star
17

chaocipher

Chaocipher: Javascript and Python versions
Python
7
star
18

noVNC-js1k

A VNC client in 1K of JavaScript (for the 2012 js1k.com competition)
Python
7
star
19

Scriptany

Use any language within script tags
JavaScript
6
star
20

Horton

Optimized Conway's Game of Life Engine in C
C
3
star
21

lambdaconf

Reveal.js presentation materials for LambdaConf Workshop
JavaScript
3
star
22

HTML5

HTML5 Presentation
3
star
23

30queens

Minimal 30 Queens
C
3
star
24

strangeloop2018

JavaScript
2
star
25

kanaka.github.com

User website repo
2
star
26

cmProject

Configuration Management System using make and subversion
2
star
27

webutils

A collection of small and useful webapps
2
star
28

SelectList

A Javascript library for creating a mouse/touch selectable group of DOM elements.
JavaScript
2
star
29

auto.mk

Simpler makefiles: auto.mk without automake.
1
star
30

static

Static files for bartender
CSS
1
star
31

hashpipe.js

HashPipe.js: hash sync with pipes
JavaScript
1
star
32

cmProject_example

An example project using cmProject and auto.mk together
C
1
star
33

cljs-in-cljs-presentation

Clojure/West 2013 ClojureScript-in-ClojureScript Presentation
JavaScript
1
star
34

fuzzy-raft

Raft.js with Dynamic Leader heartbeat / election timer using Fuzzy Logic
TeX
1
star