0x4fca Goto Github PK

alpine-clang

Dockerfile to build clang latest verison.

alpine-dev

Alpine Linux with developer packages.

alpine-lxde

book

V2 of Real World OCaml

computationbook

Example code for Understanding Computation

coq-amd64

coqffi

dotfiles

A set of configuration and script files for Linux OS.

jsclasses

Classes tailored for use with Japanese.

l4v

seL4 specification and proofs

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

qcheck

QuickCheck inspired property-based testing for OCaml.

remarkable

Markdown parser, done right. Commonmark support, extensions, syntax plugins, high speed - all in one. Gulp and metalsmith plugins available. Used by Facebook, Docusaurus and many others! Use https://github.com/breakdance/breakdance for HTML-to-markdown conversion. Use https://github.com/jonschlinkert/markdown-toc to generate a table of contents.

templates

translate

vscode

Visual Studio Code