Pinned Repositories
anp
animation palyer (cli wrapper around mplayer or mpv)
aoc2022
my colutions for Advent of Code 2022
apis
personal helpers for some public apis
bison-calc-ex
simple calculator example based on flex/bison
brainfuck
Brainfuck programming language implementation
brilliant
Materials for some courses on brilliant.org
bsless.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
coq-merge-sort
An example of using the Coq language to generate a simple but practical formally verificated sorting algorithm
anton0xf's Repositories
anton0xf/coq-merge-sort
An example of using the Coq language to generate a simple but practical formally verificated sorting algorithm
anton0xf/anp
animation palyer (cli wrapper around mplayer or mpv)
anton0xf/aoc2022
my colutions for Advent of Code 2022
anton0xf/apis
personal helpers for some public apis
anton0xf/bison-calc-ex
simple calculator example based on flex/bison
anton0xf/brainfuck
Brainfuck programming language implementation
anton0xf/brilliant
Materials for some courses on brilliant.org
anton0xf/bsless.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
anton0xf/ccan-htable-ex
ccan/htable example
anton0xf/checklist
simple checklist CLI app
anton0xf/code-retreat-2023
my attempts for https://prog.msk.ru/2023/02/11/coderetreat/ (see the code from sessions in branches)
anton0xf/coq-art
My examples and solutions for Coq'Art book
anton0xf/coq-art-1
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
anton0xf/desman
A HTTP API tool
anton0xf/foa-landau
Formalization of "Foundations of Analysis" by Edmund Landau
anton0xf/lpn
my code to Learn Prolog Now
anton0xf/nandgame-solutions
solutions for http://nandgame.com/
anton0xf/nc-client
Simple docker networking example
anton0xf/p99
My solutions for "P-99: Ninety-Nine Prolog Problems"
anton0xf/pgjdbc
Postgresql JDBC Driver
anton0xf/php-smpp
PHP 5 based SMPP client library
anton0xf/pragmatic-programmer
My solutions for The Pragmatic Programmer book
anton0xf/progmsk_tests
my code for https://github.com/progmsk/tests
anton0xf/scala-koans
An unofficial refreshed version of Scala Koans
anton0xf/set-cas
simple CAS (computer/symbolic algebra system) for working with sets
anton0xf/solutions
solutions for different programming etc. exercises
anton0xf/stepik_cpp
anton0xf/user-scripts
scripts for greasemonkey
anton0xf/vavr
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.