jaykru Goto Github PK
Name: Jay Kruer
Type: User
Company: tenstorrent
Location: bend, or
Blog: dank.systems
Name: Jay Kruer
Type: User
Company: tenstorrent
Location: bend, or
Blog: dank.systems
A new Categories library for Agda
The Agda standard library
Barnes-Hut gravitation simulation implemented in Haskell: working and parallelized some day?
Fast 2D n-body simulation with a parallel quad tree construction ร la Barnes-Hut.
A work-in-progress language and compiler for verified low-level programming
a fun little console blackjack game in go
Concolic execution for an idealized assembly language.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A python script that makes it easier to search for apartments
An even-odd-transpose sorting network in the kรดika register-transfer-level language.
A decentralized, encrypted messenger running on the Ethereum platform.
A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.
A small mandelbrot set renderer in Go
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
gnip
Go (golang) bindings to the Z3 SMT Solver
An emacs mode for editing Jim Fix's Ha language.
๐ป Default formulae for the missing package manager for macOS
modeling communication by gossip *in rust*
Template for a compact LaTeX Cheatsheet I made some years ago.
Proof artifact co-training for Lean
super-fast interactive console libgen downloader, supporting concurrent downloads
A bridge between Lichess API and chess engines
๐ป๐ง Core formulae for the Homebrew package manager on Linux
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.