olahiuj

olahiuj's Stars

• shimohq/chinese-programmer-wrong-pronunciation

  **程序员容易发音错误的单词

  Language:JavaScript22.4k3922521.6k

• openmlsys/openmlsys-zh

  《Machine Learning Systems: Design and Implementation》- Chinese Version

  Language:TeX4.2k47202440

• hanickadot/compile-time-regular-expressions

  Compile Time Regular Expression in C++

  Language:C++3.4k65240189

• manifold-systems/manifold

  Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

  Language:Java2.5k37592126

• joernio/joern

  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

  Language:Scala2.2k421.1k299

• hgjazhgj/FGO-py

  自动爬塔! 自动每周任务! 全自动免配置跨平台的Fate/Grand Order助手.启动脚本,上床睡觉,养肝护发,满加成圣诞了解一下?

  Language:Python1.6k1766180

• moesoha/debian-media-box

  “Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。

  Language:TeX1.1k92062

• 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

• AzatAI/cs_books

  Computer science books Recommended by AzatAI. (Education ONLY)

  Language:Python852140245

• KastnerRG/pp4fpgas

  Parallel Programming for FPGAs -- An open-source high-level synthesis book

  Language:TeX8055618149

• keiichiw/constexpr-8cc

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

  Language:C++80430234

• chipsalliance/firrtl

  Flexible Intermediate Representation for RTL

  Language:Scala73460660177

• vmware-archive/cascade

  A Just-In-Time Compiler for Verilog from VMware Research

  Language:C++4363012944

• arsenm/sanitizers-cmake

  CMake modules to help use sanitizers

  Language:CMake383301465

• nnngu/Postgraduate-408-old-exam

  考研 408 计算机真题

  36515077

• coq-community/vscoq

  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

  Language:OCaml3341441768

• youngflysky/KaoYanZhenTi-PDF

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

  3211533

• YishiMichael/manim3

  An animation engine inspired from manim and three.js

  Language:Python1152312

• 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

• Elucidation/ChessboardDetect

  Hodgepodge of chessboard chessboard detection algorithms on images from actual matches.

  Language:Jupyter Notebook925321

• cwbaker/lalr

  LALR(1) parser for C++

  Language:C++7861611

• haskell/hoopl

  Higher-order optimization library

  Language:Haskell73142027

• wyager/HaSKI

  Cλash/Haskell FPGA-based SKI calculus evaluator

  Language:Verilog48803

• pku-liang/Hector

  A hardware synthesis framework with multi-level paradigm

  Language:C++37314

• cognitive-engineering-lab/document-calculus

  Accompanying materials for "A Core Calculus for Documents"

  Language:OCaml31102

• Applewonder/JYY-OS

  Language:C9100

• Tai-e/intellij-tai-e

  IntelliJ plugin for Tai-e (a static analysis framework)

  Language:Kotlin9233

• Alamvic/druid

  Meta-compiler to generate an optimised JIT compiler frontend based on an Interpreter definition

  Language:Smalltalk85706

• ArgentoAskia/rainbow-fart-kama

  FGO伽摩语音包，音源来源自Mooncell

  3200

• hongchen0926/LIN-311-Syntax-recitation

  This repository hosts the public recitation materials for Syntax (LIN 311) offered in 2019 Spring at Stony Brook University (Recitation Instructor: Hongchen Wu, wuhongchen.com). There are two recitation sessions (with 28 students in total). The recitation groups meet every Friday from 11-11:53 am or 12:00-12:53 pm. The textbook used for LIN 311 is Carine's Syntax: A Generative Introduction (3rd edition).

  1100