alf239

Alexey Filippov alf239

I write code

19 followers · 32 following

Cambridge, UK

Achievements

AoC2023 Public

Rust Updated Jan 13, 2024
qmk_firmware Public
Forked from Keychron/qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

C GNU General Public License v2.0 Updated Dec 17, 2023
AoC2015 Public

Rust Updated Dec 9, 2023
alf239.github.io Public

Home sweet home

Ruby Updated Jul 9, 2023
AoC2022 Public

Python Updated Dec 25, 2022
rusty-aoc Public

Rust Updated Nov 25, 2022
wro4j-tag Public

JSP tags for wro4j project

Java 8 3 Updated May 25, 2022
AoC2021 Public

Advent of Code 2021

F# Updated Dec 25, 2021
minecraft Public

Java Other Updated Dec 12, 2021
AoC2020.fs Public

Advent of Code 2020 in F#

F# Updated Nov 8, 2021
autoversion Public
Forked from ARMmbed/autoversion

Cross-language tool written in Python to automatically version projects

Python Apache License 2.0 Updated Aug 5, 2021
ET-Jekyll Public
Forked from bradleytaunt/ET-Jekyll

A minimal Jekyll theme inspired by Tufte CSS

HTML MIT License Updated Jun 18, 2021
learning-tla Public

TLA Updated Jun 12, 2021
MIT6_172F18 Public

Performance Engineering of Software Systems

Python Updated Jan 10, 2021
AoC2020 Public

Advent of Code 2020

Python Updated Jan 3, 2021
practical-tla-plus Public
Forked from Apress/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

TLA Other Updated Dec 14, 2020
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

JavaScript Updated Nov 29, 2020
daskeyboard.io Public
Forked from daskeyboard/daskeyboard.io

Q - Das Keyboard Q documentation website for REST API and more.

JavaScript Apache License 2.0 Updated May 15, 2020
AoC-sharp Public

AoC in F#

F# Updated Apr 26, 2020
fingersharp Public

Finger trees in F# - a toy project to learn F#

F# Updated Apr 18, 2020
github-mathjax Public
Forked from orsharir/github-mathjax

Chrome extension for rendering LaTeX equations in GitHub with MathJax

JavaScript 1 Other Updated Apr 13, 2020
procats Public

18.S097: Programming with Categories

TeX MIT License Updated Jan 12, 2020
AoC2019 Public

Advent of Code 2019

advent-of-code adventofcode advent-of-code-2019 adventofcode2019

Haskell 1 Updated Jan 5, 2020
EPIJudge Public
Forked from adnanaziz/EPIJudge

EPI Judge - Preview Release

C++ Other Updated Nov 3, 2019
ial Public
Forked from cedille/ial

The Iowa Agda Library

Agda MIT License Updated Sep 25, 2019
Idris2 Public
Forked from edwinb/Idris2-boot

A dependently typed programming language, a successor to Idris

Idris Other Updated Jul 9, 2019
numerust Public

1 Updated May 14, 2019
akka Public
Forked from akka/akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

Scala Apache License 2.0 Updated Nov 6, 2018
QuantLib Public
Forked from lballabio/QuantLib

The QuantLib C++ library

C++ Other Updated Oct 5, 2018
ed_to_grep Public

https://avva.livejournal.com/3147789.html

C Updated Sep 19, 2018

Alexey Filippov alf239

Achievements

Achievements

AoC2023 Public

Uh oh!

qmk_firmware Public

Uh oh!

AoC2015 Public

Uh oh!

alf239.github.io Public

Uh oh!

AoC2022 Public

Uh oh!

rusty-aoc Public

Uh oh!

wro4j-tag Public

Uh oh!

AoC2021 Public

Uh oh!

minecraft Public

Uh oh!

AoC2020.fs Public

Uh oh!

autoversion Public

Uh oh!

ET-Jekyll Public

Uh oh!

learning-tla Public

Uh oh!

MIT6_172F18 Public

Uh oh!

AoC2020 Public

Uh oh!

practical-tla-plus Public

Uh oh!

awesome-advent-of-code Public

Uh oh!

daskeyboard.io Public

Uh oh!

AoC-sharp Public

Uh oh!

fingersharp Public

Uh oh!

github-mathjax Public

Uh oh!

procats Public

Uh oh!

AoC2019 Public

Uh oh!

EPIJudge Public

Uh oh!

ial Public

Uh oh!

Idris2 Public

Uh oh!

numerust Public

Uh oh!

akka Public

Uh oh!

QuantLib Public

Uh oh!

ed_to_grep Public

Uh oh!