Discover lacker/kata Open Source project by Kevin Lacker (@lacker)

Stars
19
Rank 1,163,249 (Top 23 %)
Language Lean
Created over 7 years ago
Updated 4 months ago

lacker

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.

ikalman

An iPhone-friendly Kalman filter written in C.

304

godel

Helper scripts for understanding Gödel's Incompleteness Theorem

Shell

cardkit

A bunch of tools for building card games.

JavaScript

coinkit

Tools for making cryptocurrency stuff

old-acorn

A language for mathematics.

Rust

recipes

graphql-hacks

Hacking around with GraphQL

JavaScript

valentines

It seemed like a waste to not put this up on the internet somewhere.

HTML

lacker.github.io

a blog

SCSS

seticore

A high-performance implementation of some core SETI algorithms that can be included in other programs.

Jupyter Notebook

chess

Random fun chess-related stuff.

JavaScript

peti

Petabyte-scale SETI

Python

Learning some AI stuff.

rust

Learnin' some Rust

Rust

bot

Stuff for making chat bots. Slack especially

JavaScript

gpt-js

An AI model to generate JavaScript.

TypeScript

Spacetime

A game!

JavaScript

MIT-18-405j

Answers to problem sets for MIT OpenCourseWare's Advanced Complexity Theory class, aka 18.405J / 6.841J .

TeX

meerkatbatch

Runner for "batch" operations for the MeerKAT telescope.

Shell

toyformer

Messing around with transformers.

Jupyter Notebook

turmoji

Looking for a communications channel, more restrictive than bidirectional full text, on which the Turing Test would be easier.

JavaScript

animize

Turning stuff into anime

Python

uaexample

An example of a universal animation.

JavaScript

gracer

GRAph CEllulaR automata

TypeScript

lacker/kata

lacker

Reviews

Repository Details

More Repositories