881 Open source projects that are alternatives of or similar to contech

A curated list of awesome LLVM related docs, tools, and other resources.

A Dynamic Binary Instrumentation framework based on LLVM.

Parallel Matrix Multiplication Using OpenMP, Phtreads, and MPI

CERE: Codelet Extractor and REplayer

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Formal semantics of LLVM IR in K

Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications

Monorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.

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

Compatibility layer for running Orbis executables natively on Windows.

Configurable instrumentation of LLVM bitcode

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

Building Clang ♡ Utility and Environment

Linux kernel source tree

Clang compiler for Free TON Virtual Machine

An out-of-tree MLIR dialect template.

Kamon Integration for http4s

Distributed git repository manager

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

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

Useful links of different content related to AI, Computer Vision, and Robotics.

LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

STriP Net: Semantic Similarity of Scientific Papers (S3P) Network

The Geode Programming Language

Code coverage for solidity

Alpha from various sectors in the blockchain space.

A LLVM based self-hosting C compiler

LLVM formulae for the Homebrew package manager

PSP-UFU (Power Systems Platform of Federal University of Uberlândia) is a cross-platform, multilingual, Free and Open-Source Software with advanced GUI features and CAD tools for electrical power system studies.

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

Yet another modern compiler. It is also C compiler. Using LLVM wih boehmGC

Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Finds SNP sites from a multi-FASTA alignment file

PatZilla is a modular patent information research platform and data integration toolkit with a modern user interface and access to multiple data sources.

A realtime visual programming language for interactive media.

Learn the Deep Learning for Computer Vision in three steps: theory from base to SotA, code in PyTorch, and space-repetition with Anki

Go static program analyser

Lua trace JIT compiler using LLVM-C

2021年最新总结，值得推荐的c/c++开源框架与库。持续更新中。

Crawl all your citations from Google Scholar

CSCD70 Compiler Optimization

Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.

Dachs; A Doggy 🐶 Programming Language

Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code

No description or website provided.

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

This repository collects the materials from the course "Foundations of HPC", 2021, at the Data Science and Scientific Computing Department, University of Trieste

Webpage of the Bonvinlab @ Utrecht University and HADDOCK software

Experimental static compiler for Java programs.

Guided Missile, Radar and Infrared EOS Simulation Framework written in Fortran.

Expression-oriented toy programming language written in Rust

Cross-platform test runner written for Android and iOS projects

Molecular dynamics simulation software

Ballerina compiler backend that generates platform-specific executables.

A system for reliable, long-term storing and archiving large amounts of research data during all stages of a study.

The Lesma Programming Language

CLICK ON WIKI LINK BELOW OR ON Wiki TAB AT TOP BANNER FOR DOWNLOAD INSTRUCTIONS AND INFORMATION ON THE NLP SUITE.

A Speculation-Aware Collaborative Dependence Analysis Framework

Runtime type and bounds-error checking for C/C++