Neal Gafter (gafter)

gafter

Geek Repo

Location:Los Gatos, CA

Home Page:http://www.gafter.com/~neal/

Twitter:@gafter

Github PK Tool:Github PK Tool


Organizations
dotnet
dotnet-foundation
ECMA-TC49-TG2
JuliaServices

Neal Gafter's starred repositories

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonLicense:NOASSERTIONStargazers:79951Issues:1729Issues:42911

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:BSD-3-ClauseStargazers:16674Issues:374Issues:2280

runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

csharplang

The official repo for the design of the C# programming language

flashlight

A C++ standalone library for machine learning

arrayfire

ArrayFire: a general purpose GPU library.

Language:C++License:BSD-3-ClauseStargazers:4459Issues:150Issues:1650

ELF

ELF: a platform for game research with AlphaGoZero/AlphaZero reimplementation

Language:C++License:NOASSERTIONStargazers:3358Issues:190Issues:132

mctx

Monte Carlo tree search in JAX

Language:PythonLicense:Apache-2.0Stargazers:1945Issues:30Issues:29

kotlindl

High-level Deep Learning Framework written in Kotlin and inspired by Keras

Language:KotlinLicense:Apache-2.0Stargazers:1431Issues:44Issues:265

Enzyme

High-performance automatic differentiation of LLVM and MLIR.

Language:LLVMLicense:NOASSERTIONStargazers:1196Issues:32Issues:359

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Language:C++License:UPL-1.0Stargazers:883Issues:42Issues:846

java

Java bindings for TensorFlow

Language:JavaLicense:Apache-2.0Stargazers:785Issues:38Issues:270

papers

ISO/IEC JTC1 SC22 WG21 paper scheduling and management

clingo

🤔 A grounder and solver for logic programs.

Language:C++License:MITStargazers:589Issues:34Issues:350

DiffSharp

DiffSharp: Differentiable Functional Programming

Language:F#License:BSD-2-ClauseStargazers:577Issues:39Issues:166

kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Language:KotlinLicense:Apache-2.0Stargazers:513Issues:20Issues:25

multibit

Deprecated Bitcoin Wallet

Language:JavaLicense:MITStargazers:455Issues:73Issues:751

java-champions

A list of Java Champions

vblang

The home for design of the Visual Basic .NET programming language and runtime library.

Adept-2

Combined array and automatic differentiation library in C++

Language:C++License:Apache-2.0Stargazers:156Issues:10Issues:26

clasp

⚙️ A conflict-driven nogood learning answer set solver

Language:C++License:MITStargazers:116Issues:12Issues:71

roslyn

Experimental concepts for C# using Roslyn

Language:C#License:Apache-2.0Stargazers:80Issues:13Issues:0

diffkt

A framework for automatic differentiation in Kotlin

Language:Jupyter NotebookLicense:MITStargazers:58Issues:20Issues:71

arrayfire-java

Java wrapper for ArrayFire

Language:JavaLicense:BSD-3-ClauseStargazers:35Issues:14Issues:4

BIP39.NET

C# (PCL) implementation of the BIP39 Bitcoin Improvement Proposal Document

Language:JavaLicense:BSD-3-ClauseStargazers:30Issues:9Issues:0

clingcon

⛓️ Extension of clingo to handle constraints over integers

Language:C++License:MITStargazers:25Issues:11Issues:75

BitcoinUtilities.NET

C# (PCL) designed to contain any shared functionality used by my various other Bitcoin modules

Language:C#Stargazers:18Issues:0Issues:0

google-rfc-2445

A java implementation of RFC 2445 (ical) recurrence rules

Language:JavaLicense:Apache-2.0Stargazers:1Issues:0Issues:0