Skip to content
View OlivierNicole's full-sized avatar

Organizations

@ocamllabs @binsec @sile-typesetter

Block or report OlivierNicole

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

An overlay on Eglot for editing OCaml code using LSP

Emacs Lisp 9 Updated Dec 16, 2024

A cross-platform library for building Gemini servers

OCaml 37 3 Updated Jun 4, 2024

Staged metaprogramming in stock OCaml

OCaml 150 7 Updated Mar 24, 2024

A small website to let one find the metro entrance closest to a given address. This works in France only and depends on the data provided by OpenStreetMap.

Python 6 1 Updated Feb 5, 2023

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.

JavaScript 39 8 Updated Dec 7, 2024

Trivial/Tagless Polytypic Functions

OCaml 23 1 Updated Apr 14, 2020
OCaml 255 9 Updated Dec 18, 2024

Create Opam switches where the compiler and tools are built by Nix.

Nix 10 Updated Dec 4, 2024

One album per day

Dart 11 Updated May 24, 2024

Interfacing Qt/QML with OCaml. Formely known as lablqt

OCaml 159 17 Updated Feb 3, 2024

A neat interface for Slack

OCaml 81 11 Updated Jan 26, 2024

Type-driven code generation for OCaml

OCaml 469 90 Updated Oct 4, 2024

The Herd toolsuite to deal with .cat memory models (version 7.xx)

OCaml 229 65 Updated Dec 18, 2024

Interoperable effects based concurrency

OCaml 96 6 Updated Dec 18, 2024

Lightweight document

OCaml 132 21 Updated Jul 3, 2024

LISP source code for David Cope's book "Computer Models of Musical Creativity".

Common Lisp 124 15 Updated Aug 23, 2014

Native Markdown and Djot support for the SILE typesetting system

Lua 39 4 Updated Dec 14, 2024

Library for declaratively building software-defined modular synthesizers in OCaml

OCaml 51 1 Updated Aug 11, 2023

David Cope's SPEAC-analysis

Python 1 1 Updated Jun 17, 2021

multi-shot continuations in OCaml

OCaml 47 2 Updated Oct 23, 2024

OCaml behind the scenes: exceptions

TeX 29 1 Updated Oct 10, 2023

OCaml with macros

OCaml 55 3 Updated Dec 13, 2024

Compiler from OCaml to Javascript.

OCaml 969 188 Updated Dec 19, 2024

Parser combinators built for speed and memory efficiency

OCaml 657 77 Updated Sep 12, 2024
OCaml 7 1 Updated Aug 7, 2024

I didn't like the default Pop!_shell keybindings so I created a script change them

Shell 19 4 Updated Jun 26, 2020

Pop!_OS Shell

TypeScript 4,910 269 Updated Oct 10, 2024

AddressSanitizer, ThreadSanitizer, MemorySanitizer

C 11,623 1,045 Updated Nov 2, 2024

Resumes generated using the GitHub informations

JavaScript 62,042 1,358 Updated Feb 15, 2023

Menhir polishing toolbox, for experienced druids

OCaml 25 2 Updated Nov 25, 2024
Next
Showing results