Popular repositories Loading

1. bindings-cef3 bindings-cef3 Public

   Bindings for Chromium Embedded Framework CEF3 C API

   C++ 14 6

2. adaspark adaspark Public

   Nix 14 6

3. scbt scbt Public

   Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019

   Haskell 11 1

4. jMatFile jMatFile Public

   jBinary types for reading Matlab mat file with Javascript

   JavaScript 9 3

5. purescript-foreign-callbacks purescript-foreign-callbacks Public

   Helper functions that make writing callbacks for JS libraries in purescript easier.

   PureScript 6 3

6. Sprite-Clipper Sprite-Clipper Public

   Java program for identifying, extracting, and packing video game sprites from sprite sheets

   Java 4