-
Student @ Rennes University
- Rennes, France
-
06:17
(UTC +02:00) - https://me.nwa2coco.fr
- @coco33920
- @[email protected]
Highlights
- Pro
Stars
QuickCheck inspired property-based testing for OCaml.
programming language interpreter based on Reverse Polish Notation just for fun ;)
Vim-fork focused on extensibility and usability
A massively parallel, high-level programming language
Training a (tiny) language model in OCaml, from scratch
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
An ASCII snake that moves. In telnet. Written in crablang.
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Calc: A fully-featured minimalistic configurable calculator written in Rust
An innovative superfamily of fonts for code
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language Server Protocol implementation written in Rust
A new markup-based typesetting system that is powerful and easy to learn.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Fab-Manager is the FabLab management solution. It provides a comprehensive, web-based, open-source tool to simplify your administrative tasks and your marker's projects.
A cross-platform library for building Gemini servers