anton0xf Goto Github PK

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

ccan-htable-ex

ccan/htable example

checklist

simple checklist CLI app

code-retreat-2023

my attempts for https://prog.msk.ru/2023/02/11/coderetreat/ (see the code from sessions in branches)

coq-art

My examples and solutions for Coq'Art book

coq-art-1

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

coq-merge-sort

An example of using the Coq language to generate a simple but practical formally verificated sorting algorithm

desman

A HTTP API tool

foa-landau

Formalization of "Foundations of Analysis" by Edmund Landau

lpn

my code to Learn Prolog Now

nandgame-solutions

solutions for http://nandgame.com/

nc-client

Simple docker networking example

p99

My solutions for "P-99: Ninety-Nine Prolog Problems"

pgjdbc

Postgresql JDBC Driver

php-smpp

PHP 5 based SMPP client library

pragmatic-programmer

My solutions for The Pragmatic Programmer book

progmsk_tests

my code for https://github.com/progmsk/tests

scala-koans

An unofficial refreshed version of Scala Koans

set-cas

simple CAS (computer/symbolic algebra system) for working with sets

solutions

solutions for different programming etc. exercises

stepik_cpp

user-scripts

scripts for greasemonkey

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.