vlstill
P4 Compiler developer at Altera, an Intel Company. Programmer in C++, Haskell, Python, and more. Interested in programming languages design and compilation.
Altera, An Intel CompanyCzech Republic
vlstill's Stars
barinsim/p4c-mlir
P4_16 reference compiler
fruffy/p4dummy
A simple dummy extension for P4C.
p4lang/p4c
P4_16 reference compiler
benycze/PhD-Thesis
This is the public repository of my Ph.D. thesis.
jimmyorourke/reflecxx
A static reflection framework for C++, using libclang.
p4gauntlet/toz3
marxin/cvise
Super-parallel Python port of the C-Reduce
p4lang/p4pi
P4 on Raspberry Pi for Networking Education
hmichelova/step-eval
Tool for the step-by-step evaluation of basic Haskell expressions.
barefootnetworks/Open-Tofino
c3m3gyanesh/p4-syntax-highlighter-collection
Syntax highlighter for p4 language in Sublime Text 2/3
paradise-fi/RoFI
Distributed Metamorphic Robots
google/bloaty
Bloaty: a size profiler for binaries
psalajova/ISMU-AutomataEditorD3
liskin/dotfiles
My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…
pikvm/pikvm
Open and inexpensive DIY IP-KVM based on Raspberry Pi
pyodide/pyodide
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
herd/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
hernanponcedeleon/Dat3M
A verification tool for many memory models
faktaoklimatu/web-cz
Webstránka veřejných infografik o změně klimatu světa
adamatousek/retrograde-is-muni
Userstyle for Information System of Masaryk University Brno.
tvaneerd/cpp20_in_TTs
C++20 features described in Before/After tables ("Tony Tables")
eddic/fastcgipp
fastcgi++: A C++ FastCGI and Web development platform:
yaqwsx/SVGnest
Fusion -> FabLab Brno laser cutter toolchain
hanickadot/compile-time-regular-expressions
Compile Time Regular Expression in C++
espressif/esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
MattPD/cpplinks
A categorized list of C++ resources.
martinjonas/Q3B
catchorg/Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
wavewave/fficxx
Haskell-C++ Foreign Function Interface Generator