[Core-serveR] - A Common Lisp Application Server

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

Various PCB designs in KiCad

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.

Stand-alone Native Linux KVM Tool repo

Alex Bennée's hacking copy of QEMU. Be aware branches which are not pull requests can get re-based all the time

Adds a new HAL type to the AOSP

Certificate Patrol for Mozilla Firefox

Linux Kernel TLS/DTLS Module

Integration repo for various forks and non-merged patches for Convergence floating around

The content of this repo has been integrated into https://github.com/Mic92/dotfiles/

Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stab…

Unofficial forward ports of the last publicly available grsecurity patch

Open source software for TL866

MXE (M cross environment)

Multiple Precision Integers and Rationals

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Plugin for Cordova that enables fully native-looking apps

Dshell is a network forensic analysis framework.

A lisp web browser using WebKit

Patches for ECL to run on android iOS and Native client (Obsolete: You should use https://gitlab.common-lisp.net/ecl/ecl-android instead)

clasp Common Lisp environment

FLINT (Fast Library for Number Theory)

A Lisp-to-JavaScript compiler bootstrapped from Common Lisp

Common Lisp Machine Learning Library

Nix Packages collection & NixOS

common lisp arnesi library

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