adda0 Goto Github PK
Name: David Chocholatý
Type: User
Company: @VeriFIT
Location: Brno, Czech Republic
Name: David Chocholatý
Type: User
Company: @VeriFIT
Location: Brno, Czech Republic
✨ Magical shell history
A collection of awesome markdown editors & (pre)viewers for Linux, Apple OS X, Microsoft Windows, the World Wide Web & more
A revival of Bulk Steel Extraction mod updated for RimWorld 1.1, 1.2 and 1.3
Header-Only C++ Library for Graph Representation and Algorithms
Dwarf management tool for Dwarf Fortress
Pull requests for new applications to be added
IDS project | SQL database for ZOO
IFJ20 compiler – a Go-inspired language compiler
Students' Club U Kachničky: Member's portal
A new automata library
Install flatpaks declaratively
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗?在寻找一份新手友好的教程?那你可来对地方了!
Nix Packages collection & NixOS
Solving String equations using automata
Abstraction of State Languages in Automata Algorithms
Benchmarks for string replace operations in benchmarks from SMT-LIB
Stardrop is an open-source, cross-platform mod manager for the game Stardew Valley.
Flatpak build files for the Stardrop mod manager
TouchCursor style keyboard remapping for Linux.
Experiments for adding support for finite transducers in automata library Mata
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.