zaklogician Goto Github PK
Name: Zoltan A. Kocsis
Type: User
Bio: Mathematical logic, software safety, static typing down under. Worked on seL4.
Name: Zoltan A. Kocsis
Type: User
Bio: Mathematical logic, software safety, static typing down under. Worked on seL4.
An algorithm for our ACT 2021 submission "Treewidth via Spined Categories" (Z. A. Kocsis, B. M. Bumpus)
Solutions to Advent of Code 2018, in Scala
Results regarding the possible "sizes" of function spaces in Martin-Löf type theory without extensionality axioms.
Agda proofs accompanying my PhD thesis, "Development of Algebra in Internal Set Theory"
Apache Storm seed project for Scala
A Halite bot.
CoDiMa school sample stuff
ContainAnt development repository
Apache Storm integration for ContainAnt (temp. repo)
An example for debugging sel4cp
An example for debugging sel4cp RTC issues on the zcu102 board.
Another Halite bot, inspired by 2048
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Contains HOL4 backup code, do not use.
An agda proof that idempotent and involutive functions are identity functions.
Various minor modes for editors and some tool support.
Scala primitives for autoindentors based on Wadler/Leijen
A simple example of structural induction in Agda vs. in Isabelle
mawww's experiment for a better code editor
seL4 specification and proofs
Safe Austral APIs for your seL4 Core Platform projects.
Linear Logic for Constructive Mathematics, in Agda
A grammar and Lark-generated parser for a Modernizair interop language
Monads are not just monoids in the category of endofunctors.
Public clone of the repository for the BPGMTC 2019 website.
Parameterized free monoid overlap
Companion repository for the article "Proof-theoretic methods in quantifier-free definability", w/ Agda proofs
A proof-of-concept demonstrating DI as Proof Search, by building a compile-time dependency injector framework for Scala.
A WebExtension for automatically changing color palettes on websites.
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.