anton0xf Goto Github PK
Name: anton0xf
Type: User
Location: Eburg
Name: anton0xf
Type: User
Location: Eburg
animation palyer (cli wrapper around mplayer or mpv)
my colutions for Advent of Code 2022
personal helpers for some public apis
simple calculator example based on flex/bison
Brainfuck programming language implementation
Materials for some courses on brilliant.org
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
ccan/htable example
simple checklist CLI app
my attempts for https://prog.msk.ru/2023/02/11/coderetreat/ (see the code from sessions in branches)
My examples and solutions for Coq'Art book
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
An example of using the Coq language to generate a simple but practical formally verificated sorting algorithm
A HTTP API tool
Formalization of "Foundations of Analysis" by Edmund Landau
my code to Learn Prolog Now
solutions for http://nandgame.com/
Simple docker networking example
My solutions for "P-99: Ninety-Nine Prolog Problems"
Postgresql JDBC Driver
PHP 5 based SMPP client library
My solutions for The Pragmatic Programmer book
my code for https://github.com/progmsk/tests
An unofficial refreshed version of Scala Koans
simple CAS (computer/symbolic algebra system) for working with sets
solutions for different programming etc. exercises
scripts for greasemonkey
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.