acorrenson Goto Github PK

modulus

A constraint solver built from scratch in OCaml

multiset

A self-contained Coq library of multisite

neutron

A Coq-certified preprocessor for boolean logic formulae

ocaml.org

Implementation of the ocaml.org website.

ocaml_web_ui

An example of web application written in OCAML

octaveml

Machine learninig with GNU Octave

oferngenerator

Playing with maths, Barnley fern fractals and ocaml.

opal

Self-contained monadic parser combinators for OCaml

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

oratio

Translate natural deduction proofs into natural language.

owl

A mini language for logic programming

pacte

A self contained OCaml parser combinator library with emphasis on expressivity and error report

passerine

A small extensible programming language designed for concise expression with little code.

pedago-rennes

Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes

petitguidedesnombresflottants

Un mini-livre open-source pour mieux comprendre les nombres flottants

plfa.github.io

An introduction to programming language theory in Agda

progit

Pro Git Book Content, 1st Edition - This content is deprecated. See 2nd edition at [progit2](https://github.com/progit/progit2)

projet_s3

projets

Un descriptif de mes projets personnels et de mon parcours en informatique.

prooffold

Another attempt for visualizing proofs

proplogic

Exploration of theorems in propositional logic in Coq

proxyorderedset

A simple implementation of ordered sets as a proxy to Python's standard dict class.

puzzle

An OCaml DSL for problem solving based on symbolic AI techniques

pym-s

Python with a sweet functionnal taste

python

All Algorithms implemented in Python

radians

retrogames

Programming Projects for Intermediate Learners

robots

playing with pathfinding

saturne

Tiny verified SAT-solver

schema

A minimalistic Natural Language Processing module in OCaml