kanigsson Goto Github PK
Name: Johannes Kanig
Type: User
Company: @AdaCore
Location: Seoul, South Korea
Blog: kanig.org
Name: Johannes Kanig
Type: User
Company: @AdaCore
Location: Seoul, South Korea
Blog: kanig.org
Platform to submit RFCs for the Ada & SPARK languages
A demo of best practices for open-source Ada/SPARK development
OCamlPro public development repository for Alt-Ergo
storage place for my Anki plug-ins
Advent of Code 2022 in SPARK
Advent of Code in Ada
Base58 encoding in Ada/SPARK
Bitcoin Core integration/staging tree
Proof of Bresenham in SPARK
Playing with low-level IO and SPARK
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Experiment to implement small filesystem in SPARK
a dlopen-like API for Windows
Fulcrum implementation in SPARK
Builds of the GNAT Ada compiler from FSF GCC releases
For the ICFP competition
Website
Leftpad implementation in SPARK
Proving leftpad correct in a dozen different ways
Lumos_Maxima repository for VerifyThis challenge
A minimum working example for using SPARK 2014 and travis
Main public package repository for OPAM, the source package manager of OCaml.
windows package repository for OPAM (mingw and msvc)
Repo to share manual refactoring of RecordFlux-generated code
Arduino robot
small demo for RTA in SPARK
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.