Olivier Nicole (OlivierNicole)

OlivierNicole

Geek Repo

Location:Paris, France

Home Page:https://otini.chnik.fr

Github PK Tool:Github PK Tool


Organizations
binsec
ocamllabs
sile-typesetter

Olivier Nicole's starred repositories

resume.github.com

Resumes generated using the GitHub informations

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

Language:CLicense:NOASSERTIONStargazers:11011Issues:347Issues:1697

shell

Pop!_OS Shell

Language:TypeScriptLicense:GPL-3.0Stargazers:4773Issues:69Issues:1202

tl

The compiler for Teal, a typed dialect of Lua

Language:LuaLicense:MITStargazers:2028Issues:48Issues:446

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlLicense:NOASSERTIONStargazers:943Issues:39Issues:663

angstrom

Parser combinators built for speed and memory efficiency

Language:OCamlLicense:NOASSERTIONStargazers:625Issues:25Issues:56

ppx_deriving

Type-driven code generation for OCaml

Language:OCamlLicense:MITStargazers:452Issues:19Issues:140

herdtools7

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

Language:OCamlLicense:NOASSERTIONStargazers:210Issues:23Issues:87

impulse-blocker

Block distracting websites when you are browsing the web. Use for procrastination.

Language:JavaScriptLicense:MITStargazers:166Issues:8Issues:56

lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt

Language:OCamlLicense:LGPL-2.1Stargazers:157Issues:10Issues:43

lwd

Lightweight document

Language:OCamlLicense:MITStargazers:129Issues:7Issues:15

david-cope-cmmc

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

Language:Common LispStargazers:122Issues:9Issues:0

BeamerPresenter

Modular multi-screen pdf presentation viewer

Language:C++License:NOASSERTIONStargazers:91Issues:4Issues:26

slacko

A neat interface for Slack

Language:OCamlLicense:NOASSERTIONStargazers:81Issues:10Issues:16

picos

Interoperable effects based concurrency

Language:OCamlLicense:ISCStargazers:67Issues:9Issues:14

ocaml-macros

OCaml with macros

Language:OCamlLicense:NOASSERTIONStargazers:52Issues:10Issues:18

refl

OCaml PPX deriver for reflection

Language:OCamlLicense:BSD-3-ClauseStargazers:48Issues:5Issues:1

llama

Library for declaratively building software-defined modular synthesizers in OCaml

Language:OCamlLicense:MITStargazers:44Issues:2Issues:0

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

Language:OCamlLicense:MITStargazers:44Issues:5Issues:11

ocaml-multicont

multi-shot continuations in OCaml

Language:OCamlLicense:MITStargazers:43Issues:3Issues:6

Mehari

A cross-platform library for building Gemini servers

Language:OCamlLicense:LGPL-3.0Stargazers:37Issues:1Issues:40

multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:36Issues:2Issues:137

markdown.sile

Native Markdown and Djot support for the SILE typesetting system

Language:LuaLicense:MITStargazers:36Issues:6Issues:48

obts_exn

OCaml behind the scenes: exceptions

Language:TeXLicense:GPL-3.0Stargazers:30Issues:1Issues:0

lrgrep

Menhir polishing toolbox, for experienced druids

pop-shell-custom-keybindings

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

Language:ShellLicense:NOASSERTIONStargazers:19Issues:1Issues:1

omikhleia-sile-packages

Packages and classes for the SILE typesetter

Language:LuaLicense:MITStargazers:14Issues:6Issues:13
Language:OCamlLicense:GPL-3.0Stargazers:7Issues:1Issues:1

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:2Issues:1Issues:0

SPEAC-analysis

David Cope's SPEAC-analysis

Language:PythonStargazers:1Issues:2Issues:0