8000 AltGr (Louis Gesbert) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View AltGr's full-sized avatar

Organizations

@ocaml

Block or report AltGr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Formally specified computations on dates

F* 12 1 Updated May 14, 2025

Tree-sitter syntax highlighting for code blocks in Typst.

Rust 27 Updated Feb 19, 2025

A package for creating slides in Typst

Typst 1,359 58 Updated Feb 28, 2025

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

Rust 8,898 431 Updated Jun 26, 2025

Helps import tree-sitter grammars

TypeScript 27 7 Updated Mar 4, 2023

Programming language for literate programming law specification

OCaml 2,075 78 Updated Jun 26, 2025

Sensors, electro-valves and controller

C 3 9 Updated Jul 6, 2020

Twitter and Mastodon client for Android

Kotlin 102 11 Updated Mar 31, 2023

An OCaml toplevel (REPL) upgrade

OCaml 93 4 Updated Jan 15, 2025

opam plugin to automatically populate opam file at install command

OCaml 10 1 Updated Mar 7, 2024

A composable build system for OCaml.

OCaml 1,742 437 Updated Jun 26, 2025

A Web Application for Learning OCaml

JavaScript 312 67 Updated Jun 14, 2025

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

OCaml 2 Updated Jun 25, 2025

Image layout generator based on linear partitioning

JavaScript 313 16 Updated Sep 26, 2018

Transmits AM radio on computers without radio transmitting hardware.

C 6,615 398 Updated Sep 25, 2024

A tool to query opam files from shell scripts

OCaml 15 3 Updated Aug 22, 2017

establish trust in community repositories, cryptographically signed by library authors

OCaml 33 2 Updated May 24, 2025
931B

date and duration in ocaml

OCaml 23 7 Updated Apr 12, 2024

Functional HTML scraping and rewriting with CSS in OCaml

OCaml 399 32 Updated Nov 18, 2024

Le code civil français sous git

2,661 144 Updated Aug 7, 2015

Attempt to automate the installation of system packages required by OPAM packages

OCaml 33 28 Updated Aug 19, 2024

Basic types for computer graphics in OCaml

OCaml 41 9 Updated Mar 7, 2025

A virtual machine for executing programs written in Hack.

C++ 18,413 3,041 Updated Jun 26, 2025

OCaml bytecode relocation

OCaml 4 Updated Aug 30, 2018

A tool to analyze Scilab projects to find potential bugs

OCaml 10 5 Updated Feb 10, 2016

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

OCaml 1,299 372 Updated Jun 23, 2025

Infrastructure for personal VPNs

Python 23 6 Updated Feb 28, 2012

Easy access to the interface information of installed OCaml libraries

OCaml 2 Updated Mar 9, 2019

Official git repo for iodine dns tunnel

C 6,528 537 Updated May 13, 2025

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,633 241 Updated Jun 24, 2025
Next
0