bkase/jsonschema-to-dhall

Stars
2
Language
Nix
Created over 4 years ago
Updated almost 3 years ago

bkase/jsonschema-to-dhall

bkase

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

Auto-generate Dhall bindings given a JSON Schema definition

DoctorPretty

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

CUDA-grep

cyklic

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

barbq

🍖barbq is a text based status bar for macOS

gameboy

[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers

swift-di-explorations

Functional DI explorations in Swift

life

A Nix configuration for macOS and Linux

git-paradox

Copy history forward safely and easily

slides

Slide decks rendered from mardown

swift-optparse-applicative

Commandline parsing using applicatives (optparse-applicative ported from Haskell/Scala)

PathySwift

Typesafe Phantom-Type backed Paths (port of purescript-pathy)

reasonable-wm

A functional tiling "window manager" for the web written in Reason

empydom

Python-Javascript DOM bridge

kson

It's like GSON, but in Swift

abstraction

Data abstraction in Dhall

xbox-one-fake-driver

A "joystick driver" for Xbox One controllers on OSX

rust-torrent

Rust torrent client (to play with rust)

purescript-cache

Algebraic caches for purescript

android-scala-example

Example Scala Android project with guide

Twitter-fake

Twitter fake for reason

dotfiles

dotfiles and other configuration files that reside in my home directory

joyfull

Use a joystick in the browser

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)

osx-life

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

Algorithm-w-again

Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]

key-injector

Inject keyboard events into OSX

compiler

Playing with compilers (WASM?)

dotvim

My vim configuration

flickrbox

static-electric

A typesafe static site DSL using JSX/Tyxml and a styling group

js-async-to-sync

Experiments in asyncToSync converters in web workers

drag-drop-in-cyclejs

Playing around with cycle.js; simple drag-drop-uploader

NextBart

Find the when the next bart is leaving

codeshare

site2

Trying to make a website again

haskell-play

Nix playground for haskell stuff

buckitup

Playing with facebook/buck#810 in an Android app

rust-ffi-example

An example of Rust's FFI for v0.4

Native-OpenCV-Android-4.0.3

OpenCV Tutorial 2 Advanced working in Android 4.0.3

datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml

fast-blog

Static blog generator

looking-glass

Through the looking glass, to the world

swift-typed-ast-parser

Swift Typed AST Parser

cairo-schnorr

Schnorr in cairo (allegedly)

algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"