jaykru Goto Github PK

agda-categories

A new Categories library for Agda

agda-stdlib

The Agda standard library

barnes-hut-hs

Barnes-Hut gravitation simulation implemented in Haskell: working and parallelized some day?

barnes-the-hutt

Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.

bedrock2

A work-in-progress language and compiler for verified low-level programming

blackjack

a fun little console blackjack game in go

concolic

Concolic execution for an idealized assembly language.

coq

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.

craigslist_bot

A python script that makes it easier to search for apartments

cryptopals

dotfiles

eot-koika

An even-odd-transpose sorting network in the kôika register-transfer-level language.

ethmsg

A decentralized, encrypted messenger running on the Ethereum platform.

exit-chess

A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.

flicker

fluffy-octo-bassoon

fractal

A small mandelbrot set renderer in Go

githubgraduation-2021

Join the GitHub Graduation Yearbook and "walk the stage" on June 5.

gnip

gnip

go-z3

Go (golang) bindings to the Z3 SMT Solver

ha-mode

An emacs mode for editing Jim Fix's Ha language.

homebrew-core

🍻 Default formulae for the missing package manager for macOS

info_sim

modeling communication by gossip *in rust*

latex-cheatsheet

Template for a compact LaTeX Cheatsheet I made some years ago.

lean-step-public

Proof artifact co-training for Lean

libgen-cli

libgen_dl

super-fast interactive console libgen downloader, supporting concurrent downloads

lichess-bot

A bridge between Lichess API and chess engines

linuxbrew-core

🍻🐧 Core formulae for the Homebrew package manager on Linux

luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua