tjhunter/advent_of_code_lean4_2021 tjhunter/advent_of_code_lean4_2021

  • This repository has been archived on 29/Aug/2022
  • Stars
    star
    1
  • Language Lean
  • License
    GNU Affero Genera...
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tjhunter/advent_of_code_lean4_2021
github

tjhunter

Reviews

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

Repository Details

Experiments with Lean4 for advent of code

More Repositories

1

dds_py

Data-driven software (python implementation)
Jupyter Notebook
23
star
2

Path-Inference-Filter

Filter to transform GPS coordinates of vehicles into reconstructed trajectories
22
star
3

spark-geo-tutorial

A small tutorial to do some analysis using spark
Scala
10
star
4

karps

Experimental Haskell bindings to Spark Datasets and DataFrames
HTML
5
star
5

tensorframes-artifacts

Custom jar artifacts compiled for the TensorFrames project
Shell
4
star
6

open-traffic-arterial-streaming

An estimation algorithm using Spark Streaming.
Scala
3
star
7

navigate-sf

The demo source code for the Navigate SF program.
Python
2
star
8

phd-thesis-tjhunter

All the files to build my phd thesis.
TeX
1
star
9

mm-maven-dependencies

External dependencies for Mobile Millennium, handled by Maven.
1
star