olahiuj

olahiuj's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25414.6k

• hsutter/cppfront

  A personal experimental C++ Syntax 2 -> Syntax 1 compiler

  Language:C++5.6k113744251

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k6192312

• vnmakarov/mir

  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

  Language:C2.3k78262153

• riscv-boom/riscv-boom

  SonicBOOM: The Berkeley Out-of-Order Machine

  Language:Scala1.8k87297428

• jzimmerman/langcc

  langcc: A Next-Generation Compiler Compiler

  Language:C++1.7k233760

• mkirchner/gc

  Simple, zero-dependency garbage collection for C

  Language:C1.2k242070

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++94241859211

• keiichiw/constexpr-8cc

  Compile-time C Compiler implemented as C++14 constant expressions

  Language:C++80430234

• wgtdkp/wgtcc

  A small C11 compiler

  Language:C++7724252130

• huangxg/lnotes

  LaTeX Notes

  Language:TeX51324793

• dinfuehr/dora

  Dora VM

  Language:Rust502118632

• peter-winter/ctpg

  Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 table parser with a deterministic finite automaton lexical analyzer, all in compile time.

  Language:C++462132824

• nnngu/Postgraduate-408-old-exam

  考研 408 计算机真题

  36515077

• neomatrix369/awesome-graal

  A curated list of awesome resources for Graal, GraalVM, Truffle and related topics

  Language:Shell35632329

• youngflysky/KaoYanZhenTi-PDF

  408真题 六级真题 考研数学 考研英语 计算机考研 考研真题

  3211533

• UCSBarchlab/PyRTL

  A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, clarity, and extensibility are the overarching goals, rather than performance or optimization.

  Language:Python2632623780

• lsils/mockturtle

  C++ logic network library

  Language:C++2181976143

• arcsysu/SYsU-lang

  A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.

  Language:C2122439

• dillonhuff/ahaHLS

  An open source high level synthesis (HLS) tool built on top of LLVM

  Language:C++11917519

• stevenknown/xoc

  XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used throughout all phases of the compilation.

  Language:C++11410018

• rsnikhil/Bluespec_BSV_Tutorial

  Bluespec BSV HLHDL tutorial

  Language:Bluespec9510022

• ymherklotz/vericert

  A formally verified high-level synthesis tool based on CompCert and written in Coq.

  Language:Coq881275

• kcamenzind/BluespecIntroGuide

  An introductory guide to Bluespec (BSV)

  Language:TeX606217

• wyager/HaSKI

  Cλash/Haskell FPGA-based SKI calculus evaluator

  Language:Verilog48803

• cheshirekow/kwargs

  python style kwargs in C++

  Language:C++40515

• apt1002/mijit

  Experimental JIT compiler generator

  Language:Rust253444

• JacyCui/cpp-static-analyzer

  A Simple CPP Static Analysis Framework

  Language:C++20104

• salty-Frankenstein/Homura

  A functional programming language with algebraic effects and effect handlers.

  Language:Haskell4100

• Wonicon/doing_the_PhD

  1001