Topic: "compiler-optimization"
Alex313031/Mercury
Firefox fork with compiler optimizations and patches from Librewolf, Waterfox, and GNU IceCat.
Language: JavaScript - Size: 8.1 MB - Last synced at: about 12 hours ago - Pushed at: 5 months ago - Stars: 1,395 - Forks: 29
sysprog21/shecc
A self-hosting and educational C optimizing compiler
Language: C - Size: 1.93 MB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 1,213 - Forks: 128
JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Language: Julia - Size: 3.34 MB - Last synced at: 7 days ago - Pushed at: 21 days ago - Stars: 368 - Forks: 45
One-Language/One
One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱
Language: C - Size: 3.1 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 289 - Forks: 58
mratsim/laser
The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for floats and integers
Language: Nim - Size: 3.65 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 285 - Forks: 14
julianneswinoga/yabfc
Yet Another Brainfuck Compiler; No dependencies and from the ground up
Language: C - Size: 94.7 KB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 276 - Forks: 19
canliture/nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
Language: Java - Size: 2.51 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 275 - Forks: 38
Captainarash/CaptCC
A tiny C compiler written purely in JavaScript.
Language: JavaScript - Size: 106 KB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 213 - Forks: 35
UofT-EcoSystem/CSCD70
CSCD70 Compiler Optimization
Language: C++ - Size: 64.4 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 199 - Forks: 48
LensPlaysGames/LensorCompilerCollection
A compiler we made just for fun :^)
Language: C++ - Size: 3.83 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 174 - Forks: 18
philzook58/awesome-egraphs
An awesome list of e-graph resources
Size: 59.6 KB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 153 - Forks: 8
AnyDSL/thorin
The Higher-Order Intermediate Representation
Language: C++ - Size: 11 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 151 - Forks: 15
ghaiklor/awesome-internals
A curated list of awesome resources and learning materials in the field of X internals
Size: 69.3 KB - Last synced at: 12 days ago - Pushed at: 9 months ago - Stars: 139 - Forks: 17
HuantWang/SUPERSONIC
SuperSonic, a new open-source framework to allow compiler developers to integrate RL into compilers easily, regardless of their RL expertise.
Language: Python - Size: 230 MB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 120 - Forks: 13
cdl-saarland/rv
RV: A Unified Region Vectorizer for LLVM
Language: C++ - Size: 8.46 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 107 - Forks: 16
Alex313031/atom-ng Fork of atom/atom
:atom: The hyper-hackable text editor - Compiler Optimized, Community Maintained Fork
Language: JavaScript - Size: 337 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 78 - Forks: 6
sacalon/sacalon
Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.
Language: Python - Size: 1.72 MB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 75 - Forks: 5
alexfru/regal86
Register Allocator for 8086
Language: Assembly - Size: 55.7 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 75 - Forks: 6
gbroques/compiler
A simple compiler written from scratch in C++ for an undergraduate course in program translation.
Language: C++ - Size: 2.47 MB - Last synced at: 14 days ago - Pushed at: almost 7 years ago - Stars: 50 - Forks: 12
uwplse/szalinski
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Language: OpenSCAD - Size: 122 MB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 46 - Forks: 4
MPSLab-ASU/dMazeRunner
dMazeRunner: Dataflow acceleration optimization infrastructure for coarse-grained programmable accelerators
Language: Python - Size: 137 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 42 - Forks: 10
The-NextGen-Project/jet
A Fast C and Python like Programming Language that puts the Developer first. WIP
Language: C++ - Size: 39.3 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 4
Alex313031/Mercury-Win7
Windows 7 builds of Mercury Browser (Based on ESR115 rather than stable tip-of-tree)
Language: JavaScript - Size: 6.74 MB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 40 - Forks: 1
quepas/Compiler-benchmark-suites
A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 4
HPCguy/Squint
Squint: A peephole optimizer for stack VM compilers
Language: C - Size: 628 KB - Last synced at: about 18 hours ago - Pushed at: about 19 hours ago - Stars: 25 - Forks: 1
ecolab-nus/lisa
A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.
Language: Dockerfile - Size: 486 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 2
Alex313031/geany-ng Fork of geany/geany
The flyweight IDE - Compiler Optimized Builds
Language: C - Size: 68.2 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 0
sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
Language: TeX - Size: 22.7 MB - Last synced at: 9 days ago - Pushed at: almost 6 years ago - Stars: 13 - Forks: 3
bynect/bflc
A modular compiler framework for Brainfuck-like languages
Language: C - Size: 291 KB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 1
managarm/lewis
Lightweight SSA compiler suite
Language: C++ - Size: 178 KB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 11 - Forks: 3
HeinrichApfelmus/optimize-monad-trans
Toy example — How can GHC optimize monad transformers?
Language: Haskell - Size: 229 KB - Last synced at: 10 days ago - Pushed at: over 8 years ago - Stars: 11 - Forks: 2
LLNL/FAROS
FAROS: A Framework for Benchmarking and Analysis of Compiler Optimization
Language: Python - Size: 63.5 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 4
beakthoven/mlgo-linux-kernel
Scripts to train MLGO models for Linux kernels
Language: Shell - Size: 29.3 KB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 9 - Forks: 1
jesings/JOECC
Jonathan's Optimizing and Extensible C Compiler (pronounced "joke"), called as such because the name, just like any attempt to use the compiler in place of an industrial strength one like gcc or clang, is a poorly written joke.
Language: C - Size: 1.18 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0
sgraf812/datafix
Fixing data-flow problems in expression trees
Language: HTML - Size: 19.4 MB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 1
feroldi/oxide
Regionalized Value State Dependence Graph written in Rust
Language: Rust - Size: 99.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 0
mshockwave/LLVM-Sample-Pass
Simple LLVM pass that shows the basic LLVM API concepts
Language: C++ - Size: 2.93 KB - Last synced at: 12 months ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 1
Stypox/arg-parser
Argument parser for modern C++: no runtime overhead; auto-generated help screen.
Language: C++ - Size: 105 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2
OhadRau/Reg-alloc
Register allocation using graph coloring w/ racket/nanopass
Language: Racket - Size: 30.3 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 0
BrandonKi/just-another-backend
Optimizing compiler backend
Language: C++ - Size: 142 KB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 6 - Forks: 2
uzairrj/Buffer-In-Compilers
A buffer used in compillers, Purely developed in C.
Language: C - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 0
vaibhavbhagee/compiler-design
Compiler Design Labs
Language: C++ - Size: 224 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1
wllqwzx/TinyCompiler
A tiny compiler with IR optimization.
Language: OCaml - Size: 52.7 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 0
lucvoo/sparse-dev
Development tree for sparse semantic checker
Language: C - Size: 4.28 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 2
charitha22/cgo22ae-darm-code
Language: C++ - Size: 129 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
cla7aye15I4nd/Pymx
Pymx is a compiler written in Python 3 for the M* language which is a toy language. The compiler is intended to support to generate rv32im code from a java-like language.
Language: Python - Size: 604 KB - Last synced at: 11 days ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0
sxtyzhangzk/MxCompiler
A Mx-language compiler focused on backend optimization (Compiler Project of ACM class @ SJTU)
Language: C++ - Size: 5.49 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 2
saber-dragon/PathSensitiveDataAnalysis
Language: C++ - Size: 944 KB - Last synced at: 9 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 1
UDC-GAC/MACVETH
MACVETH - Multi-dimensional Array C-compiler for VEctorizing Tensors in HPC
Language: C - Size: 5.98 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
hail-lang/hail-old 📦
a systems programming language that doesn't suck
Language: Rust - Size: 230 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
Abhishekmishra-17/code-optimization-using-python
It is the program of code optimization using python....
Language: Python - Size: 42 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
d1mic/local-optimization Fork of dalma6/local-optimization
Local optimizator for 3-adress code that is in SSA format. Optimizator supports neutral elimination, constant folding, constant propagation and strenght reduction and combinations of those
Language: Python - Size: 99.6 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
H2CO3/NPSwift
Code accompanying my talk "Non-Pessimizations in the Swift Compiler"
Language: Swift - Size: 15.7 MB - Last synced at: 3 days ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1
fkie-cad/dewolf-idioms
A new approach for compiler idioms handling that automatically generates patterns to annotate them.
Language: Python - Size: 734 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0
Abhay557/Java-Script-Editor 📦
JavaScript online compiler that allows you to write JavaScript code and run it online!
Language: TypeScript - Size: 2.41 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2
gianm99/compilador-v2
Programa que procesa un archivo de texto escrito en el lenguaje inventado Vaja y genera código intermedio, código ensamblador sin optimizar, código ensamblador optimizado y archivos ejecutables.
Language: Java - Size: 2.62 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
coord-e/oir
oir: OtakuAssembly Vol.2 第一章『データフロー最適化の実装』サンプル実装
Language: C - Size: 94.7 KB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
ruchitgandhi/C-Compiler---Code-Optimizer-and-Evaluator
Optimizing C code by performing loop optimizations, redundancy elimination using algorithms for control-flow analysis, data-flow analysis and dependency analysis. Used Technologies - C, Lex, Yacc
Language: Yacc - Size: 3.91 KB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 2
rcorcs/apref
APReF: An Automatic Parallelizer of Recursive Functions for Haskell
Language: Python - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1
joaomlneto/mayfly-compiler
Compilers course project @ IST 2013
Language: C++ - Size: 641 KB - Last synced at: 20 days ago - Pushed at: almost 12 years ago - Stars: 3 - Forks: 12
KFAFSP/ub-mlir
Even simpler opt-in poison semantics for MLIR.
Language: C++ - Size: 253 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
salekinsirajus/licm-optimization-pass-llvm
Loop Invariant Code Motion Optimization Pass - operates on LLVM Intermediate Representation (IR)
Language: C - Size: 76.7 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
Alex313031/electron-13.6.9
AVX optimized builds of Electron 13.6.9 - Source code.
Language: C++ - Size: 12.1 MB - Last synced at: about 12 hours ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
tamaroning/haribote-lang
A simple interpreter w/ static analysis and constant propagation
Language: Rust - Size: 194 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
sudonatalie/thesis
My now-completed Master's thesis.
Language: TeX - Size: 5.39 MB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
vinayak-awanti/MiniC-Compiler
Mediocre C compiler
Language: Yacc - Size: 651 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1
mxtaooo/SimpleCompiler 📦
A simple compiler, generate bytecode for JVM
Language: Java - Size: 246 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 2
mahdifani14/AutoTuning
Auto-Tuning chain to optimize software execution and compilation time upon heterogeneous systems
Size: 550 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
AlbertLiu398/WACC_49
Second-year group project building a compiler for the WACC programming language
Language: Scala - Size: 396 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
Alex313031/pulse-browser-avx Fork of pulse-browser/browser
Pulse Browser: An experimental firefox fork - Compiler Optimized builds
Language: JavaScript - Size: 6.27 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
kmheckel/evo_compiler
Using evolutionary strategies as an alternative for reinforcement learning in compiler code optimization control
Language: Jupyter Notebook - Size: 1020 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
HsunGong/Compiler2019
For ACM Compiler 2019 (类C or Java编译器) Similiar to C or Java
Language: Java - Size: 7.54 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
salihkilicli/Databases-and-Computational-Tools-Used-in-Big-Data
My homework solutions (in SSH/Linux/Bash via TAMU HRPC) of the Ph.D. level Statistics course (STAT 624) in Texas A&M University
Language: C - Size: 1.38 MB - Last synced at: 9 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 3
jashshah127/compiler-design
compiler-design code in c++
Language: C - Size: 374 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
ganeshkavhar/Compiler-by-ganesh-kavhar
ganesh kavhar c compiler project
Language: C - Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
yangdanny97/xic Fork of Bluefire2/xic 📦
An optimizing compiler for the Xi and Xi++ languages
Size: 12.2 MB - Last synced at: about 14 hours ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
avasiloaie/avasiloaie.github.io
Compiler Dependency Tutor
Language: JavaScript - Size: 2.1 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
prateekroy/LLVMPass
Few interesting LLVM passes for compiler optimizations
Language: C++ - Size: 1.17 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
ngiambla/sift
Signature Based Fault Tolerance
Language: C - Size: 783 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1
saber-dragon/DemandDrivenDefUseAnalysis
Language: LLVM - Size: 40.3 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
henriqueal/lara-tools
Compiler Optimization
Language: C - Size: 4.57 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
lvndry/impala-c
Smart C/C++ compiler
Language: JavaScript - Size: 806 KB - Last synced at: 12 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
ntu-homeworks/compiler-project Fork of llvm-mirror/llvm 📦
An LLVM forked for implementing global register allocation. This is the final project of Advanced Compiler (17' Spring) instructed by Prof. Wei-Chung Hsu.
Language: C++ - Size: 511 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1
them0ntem/gsoc-17-proposal
GSoC 2017 Proposal to Kivy (Python Software Foundation)
Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
Language: Turing - Size: 1.97 MB - Last synced at: 13 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
eZWALT/RLC-Reinforcement-Learning-Compilers
Different resources, courses, projects and markdown notes that I've used to to learn Deep and Classical Reinforcement Learning and its application in the realm of compilers
Language: Jupyter Notebook - Size: 83.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
SKpro-glitch/Shorthand-RISC
This is a simplified assembly language with a tabular structured instruction set. This is meant for easy learning and fast implementation of assembly languages in microprocessors and microcontrollers. - Soham Kapur, VIT Chennai
Language: Java - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
williamfedele/crucible
🦀 Simple compiler written to learn about IR and optimization techniques
Language: Rust - Size: 11.7 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
inner-byte/custom-compiler-design
This project implements a full-featured compiler for a custom programming language, demonstrating modern compiler design principles and optimization techniques. The compiler follows the traditional multi-pass compilation process while incorporating advanced features like optimization frameworks and sophisticated register allocation.
Language: C++ - Size: 424 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
khaki3/acc-saturator
Equality Saturation Framework for Directive-Based GPU Code
Language: C - Size: 214 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
NikoMalik/Tod-go-compiler
my own go compiler written on go
Language: Go - Size: 41 KB - Last synced at: 17 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
mcagriaksoy/modern_vs_old_cpp_perf
Performance comparison between modern C++, traditional C++98 and C functions.
Language: C++ - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Harshitk-cp/CodeCompiler
AOT Code compiler which converts text inputs from Java code into C++, generates LLVM IR, assembles it into machine code, and executes it on the host machine to give outputs.
Language: C++ - Size: 5.69 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
shrutisaxena51/Artificial-Intelligence-in-Compiler-Optimization
A curated list of research papers, datasets, and tools for applying machine learning/Deep learning techniques to compilers and program optimization.
Size: 128 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
afnan47/APReF-using-python3
APReF's implementation in Python 3
Language: Python - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Alex313031/electron-releases-13
AVX optimized builds of Electron 13.6.9 - Releases.
Language: JavaScript - Size: 119 KB - Last synced at: about 12 hours ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
scottishwelder/ie2 📦
A framework for research in compiler optimization. In initial stages of development.
Language: Rust - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
orcca-uwo/KLARAPTOR
KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs
Language: C - Size: 45.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
kyleastroth/NeuroSlp Fork of samrg123/NeuroSlp
Advanced Compilers Semester Project, Fall 2022
Language: C - Size: 169 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
snu-sf/promising-seq-coq
The Coq development of PLDI'22 paper "Sequantial Reasoning for Optimizing Compilers under Weak Memory Concurrency"
Language: Coq - Size: 6.1 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
