Gianluca Guida (glguida)

glguida

Geek Repo

Location:Cambridge, UK

Home Page:https://tlbflush.org

Github PK Tool:Github PK Tool


Organizations
libcpu

Gianluca Guida's repositories

hacktm

A C++ library for experimenting with Numenta's Cortical Learning Algorithms

Language:CLicense:NOASSERTIONStargazers:28Issues:7Issues:0

mh

Development moved to https://github.com/mhsys/mh

ml1-llvm

A LOWL-to-LLVM map for compiling the ML/I Macro Processor.

Language:CStargazers:7Issues:0Issues:0

dx7revtools

Simple Yamaha DX7 reverse engineering tools

Language:CLicense:BSD-3-ClauseStargazers:5Issues:2Issues:0

lac

a LISP interpreter

Language:CLicense:GPL-2.0Stargazers:4Issues:3Issues:0
Language:C++License:BSD-2-ClauseStargazers:3Issues:0Issues:0

libhacktm-old

A hobbyist FDR-based Hierarchical Temporal Memory implementation.

Language:CStargazers:3Issues:0Issues:0

v8eval

Multi-language bindings to JavaScript engine V8

Language:C++License:MITStargazers:3Issues:0Issues:0

eve

EVE is Edge Virtualization Engine

Language:GoLicense:Apache-2.0Stargazers:1Issues:1Issues:0

vlvm

a garbage collected runtime

Language:CStargazers:1Issues:2Issues:0

buildrump.sh

Utilities for building rump kernels

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

DX7-Supercollider

My accurate Yamaha DX-7 clone. Programmed in Supercollider.

License:GPL-3.0Stargazers:0Issues:0Issues:0

ecies

Elliptic Curve Integrated Encryption Scheme (ECIES)

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

gcc_toolchain_build

Simple makefile to compile binutils+gcc on any supported triplet.

Language:MakefileLicense:GPL-3.0Stargazers:0Issues:0Issues:0

git2html

github clone of http://hssl.cs.jhu.edu/~neal/git2html/

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

gohugo-theme-ananke

Ananke: A theme for Hugo Sites

License:MITStargazers:0Issues:0Issues:0

libemu

x86 emulation and shellcode detection

Language:CStargazers:0Issues:0Issues:0

linenoise

A small self-contained alternative to readline and libedit

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

linuxkit

A toolkit for building secure, portable and lean operating systems for containers

Language:LogosLicense:Apache-2.0Stargazers:0Issues:0Issues:0

microkernel.info

Community site for microkernel projects.

Language:HTMLStargazers:0Issues:0Issues:0

mirage-mrg

MRG core platform libraries for MirageOS -- fork of the solo5 port

Language:CLicense:ISCStargazers:0Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0

polyml

Poly/ML

Language:Standard MLLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

rumprun

The Rumprun unikernel and toolchain for various platforms

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

src-netbsd

Mirror of NetBSD sources useful with rump kernels

Stargazers:0Issues:0Issues:0

starter-workflows

Accelerating new GitHub Actions workflows

License:NOASSERTIONStargazers:0Issues:0Issues:0

swift

A compiler for BLOG probabilistic programming language

Language:CLicense:BSD-4-ClauseStargazers:0Issues:0Issues:0

vuos

view based o.s.

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

xen-4.4

Xen hypervisor version 4.4

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0