smolkaj Goto Github PK
Name: Steffen Smolka
Type: User
Company: Google
Twitter: steffensmallcar
Location: Bay Area
Blog: https://smolka.st
Name: Steffen Smolka
Type: User
Company: Google
Twitter: steffensmallcar
Location: Bay Area
Blog: https://smolka.st
Advent of Code 2023
The reference P4 software switch
Copybara test
Coq Formalization of NetKAT Semantics & Automata Theory
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
A composable build system for OCaml.
gRPC Network Management Interface
A central location for IxNetwork sample scripts and utilities. Please also visit http://openixia.com
Kleene Algebra with Tests (KAT) and Brzozowski automata
MediaPipe is a cross-platform framework for building multimodal applied machine learning pipelines
Nice parsers in OCaml without the boilerplate
Skeletons for CI scripts
Conveniently open files such as PDFs in their default applications.
Minimalistic setup for running Python scripts from OCaml
Documentation compiler for OCaml and Reason
Main public package repository for OPAM, the source package manager of OCaml.
P4_16 reference compiler
Specification documents for the P4Runtime control-plane API
Less redundancy in type declarations and signatures
A minimalistic Rubik's cube solver
An OCaml lexer generator for Unicode
access UCL's VPN without Any Connect
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.