Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
λProlog and the Calculus of Inductive Constructions
LPCIC
Let's boost λProlog to implement an elaborator for CIC!
CertiCoq
CertiCoq
A Verified Compiler for Gallina, the Specification Language of the Coq Proof Assistant
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Jagoda Estera Ślązak
j-g00da
I looove my puter.
All donations will be spent on cheese.
@ratatui, @archlinux Poland
tranzystorekk
Rustacean/Ziguana, Void Linux package maintainer
Avatar made by https://sushidraws.carrd.co/
Poland
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
AdaCore
AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.
Paris, France - New York City, NY
Zig Programming Language
ziglang
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
United States of America
Innes Anderson-Morrison
sminez
Staff software engineer at @apollographql
Writing personal tooling for fun
@apollographql UK
Tin Can Linux
tincan-linux
A tiny distribution made with scraps and hidden gems from the depths of the Linux community.
KISS Linux
kisslinux
A meta-distribution for the x86_64 architecture with a focus on simplicity, sustainability and user freedom.