madvorak Goto Github PK
Name: Martin Dvořák
Type: User
Company: Institute of Science and Technology, Austria
Location: Czech Republic
Name: Martin Dvořák
Type: User
Company: Institute of Science and Technology, Austria
Location: Czech Republic
Repository of fan-made tracks for 4D Golf
A simple tutorial for setting up Agda with VSCode Dev Containers, including a minimal container containg Agda.
My attempt to create a cryptographic algorithm based on cellular automata
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
Convex optimization modeling in Lean 4
Farkas lemma stated in Lean 4
Formalisms Every Computer Scientist Should Know (course at ISTA)
Formal grammars in Lean 3
Lean 4 build system and package manager with configuration files written in Lean.
I started learning Lean in order to write fully-formal proofs. I will put some of my early attempts into this repository. I will be happy for any feedback!
Zdrojové kódy pro řešitele M&M témátka "Programování a dokazování v Leanu"
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
Lean 4 programming language and theorem prover
Printable (A4) overview of tactics in Lean 4 for beginners
Stand-alone pre-semester Lean 4 course at ISTA
Koch 2D snowflake generator for 4D Golf
Lean 4 showcase
Overview of tactics in Lean 4 for beginners — longer version
Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know
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.