-
Matter Labs
- Nantes, France
- rubber-duck-typing.com
Stars
Collection of tests for ZKsync compilers.
Org-mode exporter for Leanpub books - mirrored from GitLab
This repo contains Minsk, a handwritten compiler in C#. It illustrates basic concepts of compiler construction and how one can tool the language inside of an IDE by exposing APIs for parsing and ty…
A Forth dialect implementation for educational purposes
Multiplayer Modern Roguelike game. It's more than a roguelike!
Metaprogramming, verified meta-theory and implementation of Coq in Coq
Template project for developing plugins for Grafana with Webpack
Hastic data management server for labeling patterns and anomalies in Grafana
Hastic data management server for analyzing patterns and anomalies from Grafana
A liquid tag to output a relative URL for assets based on the Jekyll post or page
Source code for 'Low-Level Programming' by Igor Zhirkov
Adds a "Bash" context menu option in Windows Explorer.
A fast single-producer, single-consumer lock-free queue for C++
Your favorite AnchorCMS theme, now for Jekyll!
Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
Self-contained monadic parser combinators for OCaml
Стиль библиографии для Word по ГОСТ Р ИСО 7.0.5 2008
A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)