lacker/godel

Stars
13
Rank 1,512,713 (Top 30 %)
Language
Shell
Created almost 3 years ago
Updated almost 3 years ago

lacker/godel

lacker

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

Helper scripts for understanding Gödel's Incompleteness Theorem

ikalman

An iPhone-friendly Kalman filter written in C.

kata

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

cardkit

A bunch of tools for building card games.

coinkit

Tools for making cryptocurrency stuff

old-acorn

A language for mathematics.

recipes

graphql-hacks

Hacking around with GraphQL

valentines

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

lacker.github.io

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.

peti

Petabyte-scale SETI

ai

Learning some AI stuff.

rust

Learnin' some Rust

bot

Stuff for making chat bots. Slack especially

gpt-js

An AI model to generate JavaScript.

Spacetime

MIT-18-405j

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

meerkatbatch

Runner for "batch" operations for the MeerKAT telescope.

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.

animize

Turning stuff into anime

uaexample

An example of a universal animation.

gracer

GRAph CEllulaR automata