penlu Goto Github PK

anki

Anki for desktop computers

bad-latin-square

brute forcer for an upgraded version of a 5x5 latin square puzzle

bespoke-gnn4do

chemprop

Message Passing Neural Networks for Molecule Property Prediction

cmfwyp

a resurrection of the classic natural language understanding program SHRDLU

containers

criu

Checkpoint/Restore tool

cs281-scribe

dpll

simple practice dpll implementation in C

ec

factoring

automatically doing work from factordb

factorio-updater

Factorio update helper for headless servers

fastchem

C implementation of chemprop

fluffy-spork

SAT equipment for AM 254

forest

a tree-based visualization/classification of internet browsing history

guest-images

Scripts to automatically create VM images

hello-world

brief test 1

interactive-lstm-synth

LSTM on the wall

lark

A modern parsing library for Python, implementing Earley & LALR(1) and an easy interface

libff

C++ library for Finite Fields and Elliptic Curves

librsync

remote delta-compression library

libsnark

C++ library for zkSNARKs

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

lua-http

HTTP Library for Lua. Supports HTTP(S) 1.0, 1.1 and 2.0; client and server.

multibody-accretion

an n-body gravitational simulation with simple accretion dynamics

nand

brute force nand programs

nn-benchmarks

a few benchmarked NN implementations

nvram-cached-linux

Linux kernel source tree

prelink

ELF prelinking utility to speed up dynamic linking [unofficial mirror]

redstone-component-evolver

CS50 final project. Evolves redstone components using an L-system genome and a turtle string-to-component translator.