hsimho

hsimho's Stars

• VeriFIT/mata

  A fast and simple automata library

  Language:Stata2213

• sarabander/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:Perl4.3k543

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k194

• nukeykt/NBlood

  Reverse-engineered ports of Build games using EDuke32 engine technology and development principles (NBlood/Rednukem/PCExhumed)

  Language:C++61278

• ajwijs/GPUexplore

  GPU model checker

  Language:Cuda113

• ticktac-project/uppaal-to-tchecker

  Language:C++2

• bupticybee/elephantfish

  elephantfish: 一个只有124行的**象棋引擎

  Language:Python23444

• inpla/inpla

  Inpla: Interaction nets as a programming language (the current version)

  Language:Yacc2778

• SSoelvsten/buddy

  BuDDy BDD package (with CMake support)

  Language:C53

• MojtabaValizadeh/paresy

  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"

  Language:C++131

• sarabander/sicp

  HTML5/EPUB3 version of SICP

  Language:HTML4.4k599

• DEIS-Tools/PARDIBAAL

  Difference Bounded Matrix Library

  Language:C++4

• DEIS-Tools/MoniTAal

  Language:C++22

• google-deepmind/alphatensor

  Language:Python2.7k237

• Mariotti94/WebRISC-V

  WebRISC-V: A Web-Based Education-Oriented RISC-V Pipeline Simulation Environment [PHP]

  Language:PHP12211

• ageron/handson-ml3

  A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

  Language:Jupyter Notebook7.8k3.1k

• lxgw/LxgwWenkaiTC

  The Traditional Chinese Edition of LXGW WenKai.

  Language:Python4398

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.3k1.5k

• yonseicasl/Kite

  Kite: Architecture Simulator for RISC-V Instruction Set

  Language:C++143

• jdnklau/fm-ml

  Collection of resources for research concerning Machine Learning and Formal Methods.

  Language:TeX7611

• teach-plt/plt-errata

  Collection of errata for book Aarne Ranta, Implementing Programming Languages

  105

• AveYo/MediaCreationTool.bat

  Universal MCT wrapper script for all Windows 10/11 versions from 1507 to 21H2!

  Language:Batchfile8.9k3k

• IUCompilerCourse/Essentials-of-Compilation

  A book about compiling Racket and Python to x86-64 assembly

  Language:TeX1.3k141

• lorenzodifuccia/safaribooks

  Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.

  Language:Python4.7k691

• oneapi-src/SYCLomatic

  Language:LLVM22890

• sagepublishing/sage_tools_social_science

  Tools and technologies for social science research, a SAGE whitepaper

  Language:Jupyter Notebook346

• arminbiere/satch

  SAT Solver SATCH

  Language:C10717

• google-research/arxiv-latex-cleaner

  arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

  Language:Python5.3k331

• metashell/metashell

  C++ metaprogramming shell

  Language:LLVM47446

• rasbt/machine-learning-book

  Code Repository for Machine Learning with PyTorch and Scikit-Learn

  Language:Jupyter Notebook3.5k1.3k