Daniel Austin (fluffynukeit)

fluffynukeit

Geek Repo

Location:Everett, WA, USA

Home Page:fluffynukeit.com

Github PK Tool:Github PK Tool

Daniel Austin's repositories

scbt

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

Language:HaskellLicense:NOASSERTIONStargazers:11Issues:0Issues:0

jMatFile

jBinary types for reading Matlab mat file with Javascript

Language:JavaScriptLicense:MITStargazers:9Issues:0Issues:0

purescript-foreign-callbacks

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

Language:PureScriptLicense:MITStargazers:6Issues:3Issues:1

Sprite-Clipper

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

Language:JavaStargazers:4Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:2Issues:0Issues:0

influxdb

Scalable datastore for metrics, events, and real-time analytics

Language:GoLicense:MITStargazers:1Issues:0Issues:0

purescript-dygraphs

Purescript bindings to dygraphs plotting library

Language:PureScriptLicense:MITStargazers:1Issues:0Issues:0

ceu

The Programming Language CĂ©u

Language:LuaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

epics-base

Mirror of https://git.launchpad.net/epics-base * PRs and Bugs are also on Launchpad

License:NOASSERTIONStargazers:0Issues:0Issues:0

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++License:MITStargazers:0Issues:2Issues:0

influx-stress

New tool for generating artificial load on InfluxDB

Language:GoLicense:MITStargazers:0Issues:0Issues:0

jBinary

High-level API for working with binary data.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

lcdproc

Client/server suite for controlling a wide variety of LCD devices

License:GPL-2.0Stargazers:0Issues:0Issues:0

libmodbus

A Modbus library for Linux, Mac OS X, FreeBSD, QNX and Windows

Language:CLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mdsplus

The MDSplus data management system

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

nix

Nix, the purely functional package manager

License:LGPL-2.1Stargazers:0Issues:0Issues:0

openl3

OpenL3: Open-source deep audio and image embeddings

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

purescript

A small strongly, statically typed language that compiles to Javascript

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

purescript-foreign-events

Purescript library for interacting with foreign JS events

Language:PureScriptLicense:MITStargazers:0Issues:0Issues:0

purescript-puzzler2

A reimplementation of purescript-puzzler (https://github.com/fluffynukeit/purescript-puzzler) using actions based architecture instead of MVI

Language:PureScriptLicense:MITStargazers:0Issues:0Issues:0

purescript-thermite

A simple PureScript wrapper for React

Language:PureScriptLicense:MITStargazers:0Issues:0Issues:0

pypi-deps-db

A database with dependencies of all python packages available on pypi

License:MITStargazers:0Issues:2Issues:0

pytorch-CycleGAN-and-pix2pix

Image-to-image translation in PyTorch (e.g., horse2zebra, edges2cats, and more)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rest

Packages for defining APIs, running them, generating client code and documentation.

Stargazers:0Issues:0Issues:0

sfml-tmxloader

SFML 2.x based tmx tilemap parser for files created with Tiled tile map editor

Language:C++Stargazers:0Issues:0Issues:0

sound-and-complete

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

sys

[mirror] Go packages for low-level interaction with the operating system

Language:GoLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

userconfig

Personal configuration files. Probably not of interest to anyone else.

Language:VimLStargazers:0Issues:0Issues:0