acorrenson Goto Github PK

cpp-global-align

Cpp implementation of Needelman-Wunsh global alignment algorithm.

cqfd

A why3 certified prover for propositional logic

crous-autoconnect

Connecte automatiquement aux réseau du CROUS si les bons identifiants sont donnés

deep_checker

Final project for the statistics class at ENS

defaultt

An attempt at formalizing default logic in Coq

discord

djinn

OCaml binding for the Tinn library

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

easyprint

Double sided printing for standard printers

flow

An abstract interpreter

formcorejs

A minimal pure functional language based on self dependent types.

fp-repr

Single file C library to pretty print the layout of 32 bits floats

freecodecamp

The https://freeCodeCamp.org open source codebase and curriculum. Learn to code for free together with millions of people.

friday_night_mood

Les L1 dlmis, arrêtez de nous donner du travail... après on dort plus ^^"

frontc

An OCaml library providing a C parser and lexer

gameoflife

A simple "game of life" in Processing 3

geoml

A 2d geometry library for ocaml

gitignore

A collection of useful .gitignore templates

graal

Graph Algebra

hammingcoq

Coq formalization of Hamming Codes

headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).

huffman

Opam package implementing Huffman algorithm

huffman_tree

Algorithms for "Information Theory" course

hvm

A massively parallel, optimal functional runtime in Rust

ia-clou

An IA for the game "CLOU"

integralc

Compute integral in C

isn-interface

isn-projetfinal

isn-trifusion

Testing sorting algorithm for computer science class

jam0001