Pinned Repositories
acsl
Sources for the ANSI/ISO C Specification Language manual
angband
A free, single-player roguelike dungeon exploration game
C-Programming-Examples
Some examples of C programs.
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
CompCert
The CompCert formally-verified C compiler
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.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
skeleton
Template for an external Frama-C plug-in, following good practices
maroneze's Repositories
maroneze/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
maroneze/angband
A free, single-player roguelike dungeon exploration game
maroneze/C-Programming-Examples
Some examples of C programs.
maroneze/dune
A composable build system for OCaml.
maroneze/Frama-C-Eva-Action
Github Action for running Frama-C/Eva on a C project
maroneze/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
maroneze/genann
simple neural network library in ANSI C
maroneze/gsm
GSM 06.10 13 kbit/s RPE/LTP speech compression available
maroneze/honew
maroneze/honew-test-data
maroneze/jpeg
JPEG decoding library from https://www.ijg.org/
maroneze/kann
A lightweight C library for artificial neural networks
maroneze/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
maroneze/microstrain_mips
maroneze/miniz
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
maroneze/Monocypher
An easy to use, easy to deploy crypto library
maroneze/netpbm
One-time copy of netpbm's SVN via git-svn (to replace now-extinct t6/netpbm)
maroneze/nixpkgs
Nix Packages collection
maroneze/ocaml
The core OCaml system: compilers, runtime system, base libraries
maroneze/opam-bundle
A tool that creates stand-alone source bundles from opam packages
maroneze/opam-repository-mingw
OPAM repository for MinGW OCaml
maroneze/opam-wix
opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
maroneze/open-source-case-studies
Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
maroneze/paris-saclay
maroneze/pyhOnew
maroneze/scc-snapshots
SCC: Strip C Comments — Snapshots
maroneze/selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
maroneze/tinydtls
A version of tinyDTLS that is refactored to be more easy to use "standalone" (e.g. without bindings to a specific IP-stack).
maroneze/why3
Temporary clone of https://gitlab.inria.fr/why3/why3 for testing purposes
maroneze/zlib
A massively spiffy yet delicately unobtrusive compression library.