Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
biometrics / likely
An embeddable just-in-time Lisp for image recognition and heterogeneous computing.
LLVM • Built by
-
davidlazar / llvm-semantics
Formal semantics of LLVM IR in K
LLVM • Built by
-
dubek / malc
Mal (Make A Lisp) compiler
LLVM • Built by
-
mbmccormick / purdue
Undergraduate coursework for Computer Science at Purdue University.
LLVM • Built by
-
kcc / fuzzing-with-sanitizers
Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
LLVM • Built by
-
ephsec / llvm-forth
LLVM Forth Experiments
LLVM • Built by
-
kframework / llvm-semantics
Formal semantics of LLVM IR in K
LLVM • Built by
-
processwarp / processwarp
LLVM • Built by
-
cambridgehackers / fpgajtag
A simple jtag programming tool that has been verified on a variety of Xilinx Series7 platforms.
LLVM • Built by
-
tuxfan / ska
Static Kernel Analyzer (SKA)
LLVM • Built by
-
simbuerg / polli
Enable Polyhedral JIT compilation
LLVM • Built by
-
AlexDenisov / mbx
Supplementary material for my talk
LLVM • Built by
-
decomp / graphs
Subgraph isomorphism search algorithms and related tools.
LLVM • Built by
-
SRI-CSL / llvm2smt
Experimental translation of llvm to smt.
LLVM • Built by
-
0----0 / Terra-3d-Experiments
Various scraps of OpenGL code written in Terra.
LLVM • Built by
-
bagel99 / esl
Compiler for a new programming language: Embedded Systems Language (ESL).
-
csMOOC / CSE231
UCSD CSE231 project
LLVM • Built by
-
cadets / tesla
Temporally Enforced Security Logic Assertions http://www.cl.cam.ac.uk/research/security/ctsrd/
LLVM • Built by
-
langwich / wich-c
Translator from langwich to C
LLVM • Built by
-
manu1991 / PFC_Sobel_Zybo
Este es mi proyecto fin de carrera. Aquí tienes una arquitectura funcional diseñada para Zybo Zynq-7000 con captura de video por HDMI y filtrado Sobel en tiempo real /// This is my final degree project. Here you have a full functional Architecture made for Zybo Zynq-7000 with video capture from HDMI and Sobel filtering in Real Time
-
MikeShah / Lightweight-PGO-LLVM-Visualization
LLVM • Built by
-
dcdelia / tinyvm
A simple VM to play with OSR in LLVM
LLVM • Built by
-
hxuhack / klee-toys
LLVM • Built by
-
avr-llvm / examples
A collection of examples for AVR-LLVM
LLVM • Built by
-
ewayda2222 / EC-311-Final-Project-Ethan-Junjie-Eric
Guitar Hero Project
LLVM • Built by
