bkase/jsonschema-to-dhall bkase/jsonschema-to-dhall

  • Stars
    star
    2
  • Language
    Nix
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bkase/jsonschema-to-dhall
github

bkase

Reviews

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

Repository Details

Auto-generate Dhall bindings given a JSON Schema definition

More Repositories

1

DoctorPretty

Wadler's "A prettier printer" embedded pretty-printer DSL for Swift
Swift
192
star
2

CUDA-grep

grep on CUDA
C++
116
star
3

cyklic

A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android
Kotlin
89
star
4

barbq

๐Ÿ–barbq is a text based status bar for macOS
Haskell
44
star
5

gameboy

[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers
Assembly
31
star
6

swift-di-explorations

Functional DI explorations in Swift
Swift
28
star
7

life

A Nix configuration for macOS and Linux
Nix
27
star
8

git-paradox

Copy history forward safely and easily
Shell
26
star
9

slides

Slide decks rendered from mardown
JavaScript
24
star
10

swift-optparse-applicative

Commandline parsing using applicatives (optparse-applicative ported from Haskell/Scala)
Swift
10
star
11

PathySwift

Typesafe Phantom-Type backed Paths (port of purescript-pathy)
Swift
9
star
12

reasonable-wm

A functional tiling "window manager" for the web written in Reason
HTML
9
star
13

empydom

Python-Javascript DOM bridge
JavaScript
8
star
14

kson

It's like GSON, but in Swift
Swift
7
star
15

abstraction

Data abstraction in Dhall
Dhall
6
star
16

xbox-one-fake-driver

A "joystick driver" for Xbox One controllers on OSX
Go
6
star
17

rust-torrent

Rust torrent client (to play with rust)
Rust
6
star
18

purescript-cache

Algebraic caches for purescript
PureScript
6
star
19

android-scala-example

Example Scala Android project with guide
Scala
4
star
20

Twitter-fake

Twitter fake for reason
OCaml
4
star
21

dotfiles

dotfiles and other configuration files that reside in my home directory
Vim Script
4
star
22

joyfull

Use a joystick in the browser
C
3
star
23

toy-cool-language

A type checker and interpreter for Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types (Joshua Dunfield, Neelakantan R. Krishnaswami)
OCaml
3
star
24

osx-life

A Nix-shell default.nix for my life in OSX
Nix
2
star
25

Algorithm-w-again

Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]
OCaml
2
star
26

key-injector

Inject keyboard events into OSX
Python
2
star
27

compiler

Playing with compilers (WASM?)
Haskell
2
star
28

dotvim

My vim configuration
Vim Script
2
star
29

flickrbox

JavaScript
2
star
30

static-electric

A typesafe static site DSL using JSX/Tyxml and a styling group
OCaml
2
star
31

js-async-to-sync

Experiments in asyncToSync converters in web workers
JavaScript
2
star
32

drag-drop-in-cyclejs

Playing around with cycle.js; simple drag-drop-uploader
JavaScript
1
star
33

NextBart

Find the when the next bart is leaving
Java
1
star
34

codeshare

1
star
35

site2

Trying to make a website again
Reason
1
star
36

haskell-play

Nix playground for haskell stuff
Haskell
1
star
37

buckitup

Playing with facebook/buck#810 in an Android app
Java
1
star
38

rust-ffi-example

An example of Rust's FFI for v0.4
JavaScript
1
star
39

Native-OpenCV-Android-4.0.3

OpenCV Tutorial 2 Advanced working in Android 4.0.3
Java
1
star
40

datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml
OCaml
1
star
41

fast-blog

Static blog generator
CSS
1
star
42

looking-glass

Through the looking glass, to the world
Java
1
star
43

swift-typed-ast-parser

Swift Typed AST Parser
Swift
1
star
44

cairo-schnorr

Schnorr in cairo (allegedly)
Cairo
1
star
45

algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"
TeX
1
star