#
Starred repositories
High-Performance LISP-like language for Scientific Computing and AI written in C
High performance hybrid classical-quantum computing learning framework written in C
An example of using `foreign import prim` in ghc haskell to call assembly with low overhead
MMseqs2: ultra fast and sensitive search and clustering suite
📈 Polynomial Approximations using the Remez Algorithm
MPSLab-ASU / DSP_MLIR
Forked from tridhapuku/DSP_MLIRDigital Signal Processing Compiler in MLIR
OpenVDB - Sparse volume data structure and tools
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
Boosting 4-bit inference kernels with 2:4 Sparsity
This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.
Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
Decompiling macOS Hypervisor.framework by hand
System for collecting, deriving and working with facts about source code.
🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.
A framework for smart contract verification in Coq
AI for playing (and winning) in dark souls pvp
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Official repository of "SAMURAI: Adapting Segment Anything Model for Zero-Shot Visual Tracking with Motion-Aware Memory"