8000 giltho (Sacha-Élie Ayoun) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View giltho's full-sized avatar

Highlights

  • Pro

Organizations

@esy

Block or report giltho

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

VM in the Rust type system.

Rust 7 Updated Apr 14, 2026

Documentation compiler for OCaml

OCaml 356 115 Updated Nov 6, 2026

A native macOS app store for software that isn't on the App Store, backed by Homebrew Cask

Swift 7,127 188 Updated Sep 12, 2026

GitHub Action for the OCaml programming language

TypeScript 227 47 Updated Nov 2, 2026

Programming language for literate programming law specification

OCaml 2,440 121 Updated Nov 6, 2026

An SMT solver frontend for OCaml

OCaml 81 18 Updated Nov 2, 2026
Rust 4 Updated Jul 16, 2024

The Gillian Platform main repository

OCaml 104 25 Updated Oct 25, 2026

A verification toolchain for Rust programs

OCaml 1,169 145 Updated Nov 6, 2026
Rust 1 Updated May 18, 2022

Define compiler intermediate representation usable by external tools

Rust 131 20 Updated Aug 20, 2026

HTTP request routing library for OCaml web applications.

OCaml 40 1 Updated Apr 28, 2023

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…

OCaml 200 24 Updated Oct 27, 2025

Tidy, feature-complete Web framework

OCaml 1,901 164 Updated Nov 2, 2026

OCaml<->Rust FFI with an emphasis on safety.

Rust 155 24 Updated May 27, 2025

Experimental web framework for ReasonML & OCaml

OCaml 258 8 Updated Oct 4, 2022

Creusot helps you prove your Rust code is correct.

Rust 1,955 101 Updated Nov 5, 2026

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

OCaml 46 16 Updated Sep 25, 2026

A live viewer for reMarkable written in PyQt5

Python 825 76 Updated Oct 8, 2025
OCaml 161 10 Updated Sep 30, 2019

OCaml Language Server Protocol implementation

OCaml 915 166 Updated Nov 6, 2026

A library of generic data structures for the C language.

C 3,009 332 Updated May 12, 2026
TypeScript 1 Updated Oct 3, 2020

Get a notification after a long command.

JavaScript 54 1 Updated Mar 26, 2022

A code rewrite tool for structural search and replace that supports ~every language.

OCaml 2,694 75 Updated Nov 6, 2026
Go 1 Updated Oct 3, 2020

Widgets manager for MacBook Touch Bar

Swift 10,169 383 Updated Nov 12, 2022

package.json workflow for native development with Reason/OCaml

Reason 853 95 Updated Sep 24, 2026

GraphQL servers in OCaml

OCaml 617 59 Updated Mar 3, 2024

34EF A language server for reason, in reason

OCaml 649 84 Updated May 14, 2023
Next
0