Lysias-1998
Follow
Stars
Graph database optimized for fast analysis and real-time data processing. It is provided as an extension to PostgreSQL.
A Python library that helps data scientists to infer causation rather than observing correlation.
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd
Collection of common code that's shared among different research projects in FAIR computer vision team.
MonoParametric Partitionning transformation, for the rectangular and general case
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…
📚 Personal collection of ChatGPT prompts for developers!
C++ template library for high performance SIMD based sorting algorithms
A simple borrow-checked language built using LLVM's MLIR
A LLVM-based static analysis framework.
Harness the power of Rust. Those fast productivity tools based on Rust.
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
C++ library for interoperability between C++ and TCL
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees and post-dominator trees, and more!
Lock-free atomic_shared_ptr implementations
Official repository of the Arm Research Starter Kit on System Modeling using gem5
Systems language with linear types and capability-based security.
Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0