Pinned Repositories
advent-of-code
This is a repository containing solutions for the 2020 Advent of Code (https://adventofcode.com/).
aleloi.github.io
aoc22
Advent of code 2022 in Zig
aoc23
Advent of Code 2023 (Python)
ast-classification
A ML classification task where input is simplified AST representations of python programs
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
coq-friendship-theorem
Proof of the Frendship Theorem in Coq
cristallography-data
django-scheduler
:calendar: A calendar app for Django 1.7. Py3 Compatible.
editor
TUI editor experiment. In Zig. From scratch.
aleloi's Repositories
aleloi/advent-of-code
This is a repository containing solutions for the 2020 Advent of Code (https://adventofcode.com/).
aleloi/aleloi.github.io
aleloi/aoc22
Advent of code 2022 in Zig
aleloi/aoc23
Advent of Code 2023 (Python)
aleloi/ast-classification
A ML classification task where input is simplified AST representations of python programs
aleloi/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
aleloi/coq-friendship-theorem
Proof of the Frendship Theorem in Coq
aleloi/cristallography-data
aleloi/django-scheduler
:calendar: A calendar app for Django 1.7. Py3 Compatible.
aleloi/editor
TUI editor experiment. In Zig. From scratch.
aleloi/english2bash
English to bash with ChatGPT
aleloi/kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
aleloi/lacasa-mechanized
aleloi/MarcusAlexRustPractice
aleloi/MixMatch-pytorch
Code for "MixMatch - A Holistic Approach to Semi-Supervised Learning"
aleloi/nyan-mode
Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!
aleloi/proverbot9001
aleloi/r4ds
R for data science: a book
aleloi/rtags
A c/c++ client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
aleloi/scala-spores
aleloi/SDL.zig
A shallow wrapper around SDL that provides object API and error handling
aleloi/spores
Scala Spores, safe mobile closures.
aleloi/streamsync
No-code in the front, Python in the back. An open-source framework for creating data apps.
aleloi/streamsync_demo
aleloi/tree-sitter
An incremental parsing system for programming tools
aleloi/tree-sitter-zig
Zig tree-sitter grammar
aleloi/webrtc-org
WebRTC.org website
aleloi/zig-tracy-v0-11-2
Zig client bindings for Tracy v0.11.2