xvilka Goto Github PK

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

libarchive

Multi-format archive and compression library

libcurve

An encryption and authentication library for ZeroMQ applications

libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

libuv

Cross-platform asynchronous I/O

linguist

Language Savant

logfileparser

Parser for $LogFile on NTFS

luakit

Fast, small, webkit based browser framework extensible by Lua.

lwt

OCaml promises and concurrent I/O.

lz4

Extremely Fast Compression algorithm

lzma-rs

An LZMA decoder/encoder written in pure Rust

machine-learning-for-cyber-security

Curated list of tools and resources related to the use of machine learning for cyber security

markdown-to-confluence

Syncs Markdown files to Confluence

merlin

Context sensitive completion for OCaml in Vim and Emacs

meson

The Meson Build System

miasm

Reverse engineering framework in Python

mintty

Fork of MSYS/Cygwin terminal

ml-coordination-tracker

The FluxML Community Team repo

ml-overlay

msys2-packages

Package scripts for MSYS2.

ncnn

ncnn is a high-performance neural network inference framework optimized for the mobile platform

neovim

Vim-fork focused on extensibility and usability

neovim-gtk

gtk ui for neovim

neovim.github.io

Neovim website

oasis

Cabal like system for OCaml

ocaml

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

ocaml-asn1-combinators

Embed typed ASN.1 grammars in OCaml

ocaml-ci-scripts

Skeletons for CI scripts