• Stars
    star
    2
  • Language
    Python
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

Experiments with JSON Schema

More Repositories

1

analyze

making data science easy and safe with data frames in haskell
Haskell
27
star
2

bottle-bootstrap

A simple recipe for Bottle.py + Twitter Bootstrap + Heroku
Python
24
star
3

overeasy

A purely functional E-Graph library
Haskell
9
star
4

polyendtracker-formats

Collaborative documentation of the file formats used by the Polyend Tracker
8
star
5

blanks

Fill-in-the-blanks - A library factoring out substitution from ASTs
Haskell
6
star
6

scrapti

Utility to convert Polyend Tracker PTI files (WIP)
Haskell
5
star
7

minipat

Music pattern language + live coding environment
Haskell
5
star
8

notate

An easy workflow for IHaskell notebooks using intero.
Haskell
4
star
9

climb

Building blocks for a GHCi-like REPL with colon-commands
Haskell
4
star
10

tactique

A proof search and construction framework (based on refinery)
Haskell
4
star
11

exathunk

A typed-AST-over-RPC framework for distributed purely-functional programming
Java
3
star
12

yapyotr

yet another python binding for Off-the-Record (OTR) Messaging
Python
3
star
13

infernal

The Infernal Machine - An AWS Lambda Custom Runtime for Haskell
Haskell
3
star
14

iwantaride

A demo for a ride-sharing website build at Techraising Spring 2012
Python
3
star
15

little-rio

When you need just the RIO monad
Haskell
3
star
16

knowledge_games

A chess engine
Python
2
star
17

dcpy

DCPU-16 utils (parser, assembler, disassembler) for Python
Python
2
star
18

Wecolage

A social pasting engine
Python
2
star
19

sascheme

Still Another Scheme
Python
2
star
20

cppeuler

Some Project Euler solutions in C++
C++
2
star
21

jquery_scrollbox

A scrolling plugin for jQuery
JavaScript
2
star
22

Wecolage_Django

Wecolage for Django
Python
2
star
23

jthrift

The start of a port of the Thrift IDL parser + code generator to Java
C++
2
star
24

dahdit

Binary parsing and serialization with integrated size
Haskell
2
star
25

hyper-eval

Haskell
1
star
26

docker-idris-custom

Shell
1
star
27

biosignals

Course project for CPSC 554X
Jupyter Notebook
1
star
28

uniter

A generic first-order unification library using union-maps
Haskell
1
star
29

parabuf

1
star
30

ltlspec

Haskell
1
star
31

jsubschema

A dialect of JSON-Schema together with utilities for code-generation, validation, and more.
Java
1
star
32

looksee

A simple text parser with decent errors
Haskell
1
star
33

lyric

An abstract machine for the Verse language
Haskell
1
star
34

idr-package-set

1
star
35

s2ihaskell

Builds containers for Haskell programs using s2i and Stack
Makefile
1
star
36

simple-parser

Simple parser combinators
Haskell
1
star
37

aeson-via

Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses
Haskell
1
star
38

midriff

a WIP midi library for haskell
Haskell
1
star
39

farce

Exploring schema-based REST API definitions by implementing Parse.com's API
Java
1
star
40

dxedrine

Haskell
1
star
41

bowtie

Tying knots in functors
Haskell
1
star
42

haskell-rtaudio

Haskell wrapper for RtAudio, the lightweight, cross-platform Audio I/O library.
C++
1
star