Name: Constantin GIERCZAK--GALLE
Type: User
Company: École Normale Supérieure, Paris.
Bio: Computer science, Esperanto and aviation enthusiast.
Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
Location: Paris
Blog: cst1.fr
Constantin GIERCZAK--GALLE's Projects
QEMU simulation backend and baremetal testsuite for the anagRAM attack family
WIP Python interface for the Aika APC mini mk2 pad
Arduino interface for the Heptagon synchronous dataflow-oriented language written in Zig.
An experimental pure-Rust x86 bootloader
Zig library for handling simple configuration files
ECC library for Zig, making use of the language's comptime features. It uses type reflection to automatize in-depth data extraction
ENSnano, a 3D graphical application for DNA nanostructures.
A Minecraft server implementation in Rust
FerrOS is a school project aiming at building an minimalist micro-kernel OS. We chose to write it using the Rust language. We started by following Philipp Oppermann's own project (https://os.phil-opp.com/) and are currently extending it ourselves.
A simple GUI fontsize handling plugin for Neovim
A simple Game of Life simulation
A WIP Git identities utility
CLI game to see how fast you can guess the language of a code block!
Signal Messenger client for terminal
A Zig package manager with an index, build runner, and build dependencies.
HID driver for the Hercules DJ Control MP3 controller with support for advanced LED blinking and button on-update methods
A minimal, responsive, and powerful Jekyll theme for presenting professional writing