Beast code in Giters

Nick Hynes's starred repositories

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Language:PythonApache-2.011449 382 3315

goatcounter

Easy web analytics. No tracking of personal data.

Language:GoNOASSERTION4326 31 500

Simula

Linux VR Desktop

Language:HaskellMIT2917 61 166

CG/SQL is a compiler that converts a SQL Stored Procedure like language into C for SQLite. SQLite has no stored procedures of its own. CG/CQL can also generate other useful artifacts for testing and schema maintenance.

Language:HTMLMIT391 19 47

hax

A Rust verification tool

Language:OCamlApache-2.0160 10 387

torchkit

Research boilerplate for PyTorch.

Language:PythonMIT150 7 4

hypercerts

Hypercerts are a tool to build scalable retrospective reward systems for impact.

Language:SolidityNOASSERTION89 9 696

data-linter

The Data Linter identifies potential issues (lints) in your ML training data.

Language:PythonApache-2.087 90

autodapp

Instantly decentralize your web app

Language:Rust43 3 2

secp256k1-voi

High assurance Go secp256k1 (Mirror)

Language:GoBSD-3-Clause27 20

escrin

Autonomous computing (Web4) runtime.

Language:RustApache-2.07 2 2

workerd

The JavaScript / Wasm runtime that powers Cloudflare Workers

Language:C++Apache-2.0200

nhynes