Kevin Lacker (lacker)

lacker

Geek Repo

Location:Piedmont, CA

Home Page:lacker.io

Github PK Tool:Github PK Tool

Kevin Lacker's repositories

kata

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

Language:LeanStargazers:19Issues:4Issues:0

godel

Helper scripts for understanding Gödel's Incompleteness Theorem

Language:ShellStargazers:13Issues:2Issues:0

acorn

A language for mathematics.

Language:RustLicense:MITStargazers:5Issues:3Issues:0
Language:SCSSStargazers:3Issues:2Issues:0

seticore

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

Language:Jupyter NotebookLicense:MITStargazers:2Issues:1Issues:17

gracer

GRAph CEllulaR automata

Language:TypeScriptLicense:MITStargazers:1Issues:3Issues:0

meerkatbatch

Runner for "batch" operations for the MeerKAT telescope.

Language:ShellLicense:MITStargazers:1Issues:2Issues:0

peti

Petabyte-scale SETI

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

toyformer

Messing around with transformers.

Language:Jupyter NotebookLicense:MITStargazers:1Issues:1Issues:0

alex

Alex stuff

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0

astro

testing out some astronomy data stuff

Language:Jupyter NotebookStargazers:0Issues:3Issues:0
Language:C++Stargazers:0Issues:0Issues:0
License:BSD-2-ClauseStargazers:0Issues:0Issues:0

goldfish

yet another attempt at card game AI

Language:RustLicense:MITStargazers:0Issues:2Issues:0

gravity

A simple little simulation

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

hashpipe

High Availability Shared Pipeline Engine

Language:CStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

hpguppi_proc

Hashpipe plugin for processing GUPPI RAW files

Language:CStargazers:0Issues:1Issues:0

hphello

"hello world" for the hashpipe framework

Language:CLicense:MITStargazers:0Issues:0Issues:0

MechaValeera

Just for fun, some Hearthstone-related scripting

Language:GoLicense:MITStargazers:0Issues:0Issues:0

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

raw

A C++ library for handling the GUPPI Raw Data Format

Language:C++License:MITStargazers:0Issues:1Issues:0

seq2seq

Some simple sequence-to-sequence models, using PyTorch

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

turbo_seti

turboSETI -- python based SETI search algorithm.

Language:Jupyter NotebookLicense:MITStargazers:0Issues:2Issues:0

valentines2022

Eldannadle

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

valentines2023

rotannaboxes

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0
Language:SvelteLicense:MITStargazers:0Issues:0Issues:0

webrtc-test

A small utility for testing webrtc networking on your machine.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0