Gabriel Scherer (gasche)

gasche

Geek Repo

0

following

0

stars

Home Page:http://gasche.info/

Github PK Tool:Github PK Tool


Organizations
ocaml
ocaml-batteries-team

Gabriel Scherer's repositories

acmart

ACM consolidated LaTeX styles

Language:TeXStargazers:4Issues:3Issues:0

bisect

a mirror of http://bisect.x9c.fr/ converted using purcell/darcs-to-git

Language:OCamlLicense:GPL-3.0Stargazers:2Issues:3Issues:2

opam

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

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:3Issues:0

sedlex-menhir

Small example: sedlex-menhir vs ocamllex-ocamlyacc

Language:OCamlStargazers:1Issues:2Issues:0

types-chat-archive

Archives of the types Zulip chat -- https://typ.zulipchat.com/

Stargazers:1Issues:0Issues:0

Batsh

A language that compiles to Bash and Windows Batch

Language:OCamlStargazers:0Issues:2Issues:0

camlboot

Experiment on how to bootstrap the OCaml compiler

Language:OCamlLicense:MITStargazers:0Issues:4Issues:0

compiler-benchmark

Benchmarks compilation speeds of different combinations of languages and compilers.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

ezjsonm

An easy interface on top of the Jsonm library.

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

fornalder

Visualize long-term trends in collections of Git repositories.

Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0

git-absorb

git commit --fixup, but automatic

Language:RustLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

integrated-shrinking

Demo code to go with the blogpost "Integrated versus Manual Shrinking"

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

jsonm

Non-blocking streaming JSON codec for OCaml

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

Manopt.jl

Optimization on Manifolds in Julia

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

marracheck

Gotta check them all!

Language:OCamlStargazers:0Issues:2Issues:0

mazhe

(almost) Everything I know in math.

Language:TeXLicense:GPL-3.0Stargazers:0Issues:2Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

mutaml

An OCaml mutation tester

Language:PerlLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

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

ocaml-multicore

Multicore OCaml

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

ocaml-mustache

mustache.js logic-less templates in OCaml

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

PeerTube

ActivityPub-federated video streaming platform using P2P directly in your web browser

Language:TypeScriptLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

poc-modular-io

proof of concept for https://github.com/ocaml/RFCs/pull/19

Language:OCamlStargazers:0Issues:2Issues:0

POPPL

OCaml implementation of POPPL

Language:OCamlStargazers:0Issues:1Issues:0

ppx_import

Less redundancy in type declarations and signatures

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0
Stargazers:0Issues:0Issues:0

qcheck

QuickCheck inspired property-based testing for OCaml.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

spec

The Mustache spec.

Language:RubyStargazers:0Issues:2Issues:0

yojson

Low-level JSON parsing and pretty-printing library for OCaml

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

zulip-archive

A tool for archiving and displaying Zulip chat channels.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0