joelburget/benchmarks joelburget/benchmarks

  • Stars
    star
    1
  • Language
    Python
  • Created over 14 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joelburget/benchmarks
github

joelburget

Reviews

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

Repository Details

OSU RSRG benchmarks website

More Repositories

1

d4

Data-Driven Declarative Documents
JavaScript
818
star
2

react-haskell

React bindings for Haskell
Haskell
351
star
3

react-live-editor

live editing react components
JavaScript
163
star
4

pigment

Programming Language meets UI
JavaScript
51
star
5

slimlock

SLiM + slock = slimlock
C++
39
star
6

evm-rust

Minimal EVM implementation in Rust
Rust
29
star
7

lvca

language verification, construction, and analysis
OCaml
20
star
8

hubble

javascript lenses
JavaScript
15
star
9

haskell-loader

A webpack loader for Haskell (!)
JavaScript
15
star
10

haskell-ipld

An implementation of (some of) IPLD
Haskell
12
star
11

material-ui-hs

Material UI in Haskell!
Haskell
11
star
12

easytest

Simple testing toolkit
Haskell
11
star
13

assimp

Haskell FFI bindings for Assimp
C++
11
star
14

ghcjs-box

Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
Shell
11
star
15

typed-algebraic-parsing

An implementation of "A Typed, Algebraic Approach to Parsing"
OCaml
10
star
16

daily-typecheckers

I'm writing a typechecker every day
Haskell
9
star
17

mamba-sae

Training and evaluating Sparse Autoencoders for Mamba
Python
9
star
18

simplicity-hs

Implementation of "Simplicity: A New Language for Blockchains"
Haskell
8
star
19

dotfiles

My important config files
Vim Script
6
star
20

Cologne

Good Smelling Ray Tracer
Haskell
6
star
21

jison-loader

jison loader module for webpack
JavaScript
6
star
22

structured-editing

JavaScript
5
star
23

plur

Plurality Monad: Zero, one, or at least two.
Haskell
5
star
24

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor
JavaScript
4
star
25

lvca-hs

language verification, construction, and automation
Haskell
4
star
26

data-lens-template

Template Haskell utilities for Data.Lens
Haskell
4
star
27

mylens

Haskell
3
star
28

sdl2-image

Haskell bindings to sdl_image for SDL 2
Haskell
3
star
29

gadts

The contents of a talk on GADTs
Haskell
3
star
30

corewarjs

Corewar in Javascript
JavaScript
3
star
31

sdl2-ttf

Haskell bindings for SDL(2)-ttf
Haskell
2
star
32

secret

Haskell
2
star
33

isl-hs

haskell bindings to the integer set library
Haskell
2
star
34

backprop-fun

fun with backprop
Haskell
2
star
35

journal

My public technical journal
Python
2
star
36

berkeley-quorum

Demos / Materials for my Blockchain at Berkeley Developer Course lecture
2
star
37

sdl2-gfx

Haskell bindings to SDL2_gfx
Haskell
2
star
38

turbo-unify

a unification visualization in the browser
Haskell
1
star
39

a-la-carte

Haskell
1
star
40

blog.next

Possibly the technology that will get me blogging again
JavaScript
1
star
41

huttons-raz3r

Haskell
1
star
42

graphreduction

Haskell
1
star
43

tapl

Types and Programming Languages, in Haskell
Haskell
1
star
44

sat

OCaml
1
star
45

hazel

Haskell
1
star
46

formative

My Website
Python
1
star
47

website

The old joelburget.com
JavaScript
1
star
48

diagrams-opengl

An OpenGL Backend for Diagrams
Haskell
1
star
49

joelburget.com

joelburget.com
JavaScript
1
star
50

language-python

Haskell
1
star
51

glowing-ironman

Haskell
1
star
52

focusing

Haskell
1
star
53

oplog

Haskell
1
star
54

motivated-list-checking

Haskell
1
star
55

perseus-one-server

An experimental server implementing the Perseus One API
Haskell
1
star
56

symmetric-properties

`Same` / `Unique` monoidal witnesses
Haskell
1
star
57

planetary

playing with programming languages again
Haskell
1
star
58

miftiwac

CSE 731 MIFTIWAC group project
Java
1
star