Stars
A tiny Open POWER ISA softcore written in VHDL 2008
😎 Awesome lists about all kinds of interesting topics
"Multi-Level Intermediate Representation" Compiler Infrastructure
DynDNS Updater for Gandi LiveDNS REST API
A tutorial on defining domain-specific languages and transforming them to high-performance code
UME::SIMD A library for explicit simd vectorization.
Generator Bootcamp Material: Learn Chisel the Right Way
Resolution theorem proving for predicate logic in pure Python.
Python Module for Logical Validation (forked from Rob Truxler library)
GPU Fluid Simulation with Volumetric Rendering
Proposed C++ standardisation for linear algebra
Very low-overhead timer/counter interfaces for C on Intel 64 processors.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Program Generator for Small-Scale Linear Algebra Applications
textlint is the pluggable linter for natural language text.
favreau / Sol-R
Forked from cyrillefavreau/Sol-ROpen-Source CUDA/OpenCL Speed Of Light Ray-tracer
Reproducing images with geometric primitives.