vierkantor Goto Github PK
Name: Anne Baanen
Type: User
Blog: vierkantor.com
Name: Anne Baanen
Type: User
Blog: vierkantor.com
A LaTeX magazine class. Still a work in progress
Combinators for manipulating locally-nameless generalized de Bruijn terms
Localizations for BuildCraft
New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/
Separate project from mathib4
A re-implementation of the Elastic Tabstops plugin for GEdit3, since the original was for GEdit2 and I couldn't get it running.
One component to pick them all 👊🏼
Archive Manager
A Haskell module for parsing and pretty-printing PHP. Because obviously.
Lean Theorem Prover
Abridged version of the Set Theory and Number Theory games
Emacs mode for Lean
Hosts the website for mathlib and other Lean community infrastructure.
Lean for the Curious Mathematician 2020
A minimalist Lisp implementation in x86_64 assembly
This is the SMP-Dev version with additional features for the minecraft modification Logistics Pipes.
A glitchy but lovable microblogging server
Lean mathematical components library
Development tools for https://github.com/leanprover-community/mathlib
A bijection between Mersenne primes and even perfect numbers
Syncs your modded minecraft version with that of the server
Unreadable C programs
Calculate everything about everything.
The Python code that hosts vierkantor.com
An interpreted language I'm (perpetually) making for fun
Trying to help QWOP with genetic programming
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.