nathansgreen's starred repositories

movfuscator

The single instruction C compiler

Language:CLicense:NOASSERTIONStargazers:9387Issues:206Issues:40

PokemonGo-Map

🌏 Live visualization of all the pokemon in your area... and more! (shutdown)

stellar-core

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Language:CLicense:NOASSERTIONStargazers:3122Issues:269Issues:1712

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:2297Issues:55Issues:796

aws-sdk-java-v2

The official AWS SDK for Java - Version 2

Language:JavaLicense:Apache-2.0Stargazers:2177Issues:94Issues:1755

Nidium

nidium is an ongoing effort for a mobile hw-accelerated rendering engine to create apps and games. Embedding Mozilla JavaScript VM, Google Skia, Facebook Yoga. https://twitter.com/nidiumproject for updates

Language:C++License:NOASSERTIONStargazers:1142Issues:53Issues:74

curl-rust

Rust bindings to libcurl

Language:RustLicense:MITStargazers:1018Issues:23Issues:244

editablegrid

EditableGrid is an open source Javascript library aimed at turning HTML tables into advanced editable components. It focuses on simplicity: only a few lines of code are required to get your first table up and running.

Language:JavaScriptLicense:NOASSERTIONStargazers:795Issues:73Issues:183

args4j

args4j

Language:JavaLicense:MITStargazers:789Issues:33Issues:82

tetros

Tetris that fits into the boot sector.

Language:AssemblyLicense:MITStargazers:768Issues:20Issues:2

blaze-persistence

Rich Criteria API for JPA providers

Language:JavaLicense:Apache-2.0Stargazers:726Issues:25Issues:1321

Co-dfns

High-performance, Reliable, and Parallel APL

Language:APLLicense:AGPL-3.0Stargazers:705Issues:32Issues:0

demovfuscator

A work-in-progress deobfuscator for movfuscated binaries

Language:C++License:BSD-2-ClauseStargazers:698Issues:23Issues:19

opensmalltalk-vm

Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.

Language:CLicense:NOASSERTIONStargazers:557Issues:42Issues:285

start

Sinatra inspired web development framework for Dart

Language:DartLicense:MITStargazers:529Issues:30Issues:50

OpenStudio

OpenStudio is a cross-platform collection of software tools to support whole building energy modeling using EnergyPlus and advanced daylight analysis using Radiance.

Language:C++License:NOASSERTIONStargazers:497Issues:93Issues:3085

selma

Selma Java bean mapping that compiles

Language:JavaLicense:Apache-2.0Stargazers:212Issues:18Issues:185

duplicate-finder-maven-plugin

Maven plugin to find duplicate classes or resources

Language:JavaLicense:Apache-2.0Stargazers:182Issues:12Issues:32

slate-language

The Slate programming language

Language:C++License:MITStargazers:145Issues:19Issues:2

bundy

an authoritative DNS server

Language:C++License:NOASSERTIONStargazers:136Issues:28Issues:77

airline

Java annotation-based framework for parsing Git like command line structures with deep extensibility

Language:JavaLicense:Apache-2.0Stargazers:131Issues:5Issues:104

gradle-macappbundle

A Gradle Plugin to create a Mac OSX .app application and dmg based on the project.

Language:GroovyLicense:Apache-2.0Stargazers:96Issues:8Issues:61

magritte

The Magritte Meta-Model

DeuceSTM

Java Software Transactional Memory

Language:JavaLicense:Apache-2.0Stargazers:55Issues:7Issues:19

mystika

High-end Cryptographic Library

Language:APLLicense:AGPL-3.0Stargazers:43Issues:12Issues:47

yaml-properties-maven-plugin

Yaml Extension of the Properties Maven Plugin

Language:JavaLicense:Apache-2.0Stargazers:31Issues:5Issues:9

hawk

Hawk implementation for Java

Language:JavaLicense:NOASSERTIONStargazers:26Issues:8Issues:10