720 Open source projects that are alternatives of or similar to llvm-semantics

Materials related to events I might attend, and to talks I am giving

A hybrid visualization framework for desktops, large immersive displays and the web

Chromium browser compiled with the Clang/LLVM compiler.

A programming language.

A research project in path semantics, a re-interpretation of functions for expressing mathematics

MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

Work in progress specs for the Star programming language

A Python package for automatic earthquake detection and location using waveform migration and stacking.

Electrical Engineering Python Module

"Ü" programming language development

Tensorflow implementation of the Manifold Mixup machine learning research paper

Compiler for Decaf Programming Language

Open Optimizing Parallelizing System

Multi-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers

Improve the quality of a denovo assembly by scaffolding and gap filling

A Python package for small bodies research

www.imandra.ai

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

LLVM frontend for the Forth Language

Rapid phylogenetic analysis of large samples of recombinant bacterial whole genome sequences using Gubbins

Multilocus sequence typing by blast using the schemes from PubMLST

Paper notes in deep learning/machine learning and computer vision

Los是一个c/c++语言编译型的虚拟机。它使用llvm/clang作为其前端，losld做后端对源代码进行编译，生成los指令文件。Los is a c/c++-compiled virtual machine. It uses llvm/clang as its front end, losld does the backend to compile the source code, and generates the los directive file.

Minimal language with type inference, structures, control flow, and more.

This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

LLVM meets Code Property Graphs

Some toy labs for compiler course

DeclareDesign: Declare and Diagnose Research Designs

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Torture your LLVM Obfuscation

Data preprocessing scripts and preprocessed data storage for COVID-19 Scenarios project

Different mesh shading techniques using the NVIDIA RTX (Turing) technology.

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Some personal exploits/pocs

deobfuscator llvm arm64 script

clad -- automatic differentiation for C/C++

Read-only mirror of the Klever Git repository

Project Free Our Knowledge aims to organise collective action in support of open and reproducible research practices. This repository is used to design new campaigns (using the issues feature) and to build the website (www.freeourknowledge.org).

A core language for rule-based hardware design 🦑

Experiments logging & visualization

Tiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)

Clang-Built Musl Linux From Scratch

Go static program analyser

Kotlin/Native infrastructure

Molecular dynamics simulation software

UNOFFICIAL Python API to interface with Parler.com

An experimental Lisp-like programming language

Manifest is an investigative toolkit intended for researchers, journalists, students, and scholars interested in visualizing, analyzing, and documenting supply chains, production lines, and trade networks.

LLVM formulae for the Homebrew package manager

Keeping track of activities around research data

EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

A BPF-based syscall fault injector

A realtime visual programming language for interactive media.

An index of algorithms for offline reinforcement learning (offline-rl)

A tool for Model Based Testing

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Cartridge encrypt/decrypt

Dachs; A Doggy 🐶 Programming Language

A (WIP) TensorFlow reproduction of Fu, Huang, Ding, Liao, and Paisley's method for single-image rain removal (https://arxiv.org/abs/1609.02087)

Convert DeepMind Control Suite to OpenAI gym environments.