Engineev

Engineev's Stars

• OpenEmu/OpenEmu

  🕹 Retro video game emulation for macOS

  Language:Swift16.3k4174.4k1.3k

• sympy/sympy

  A computer algebra system written in pure Python

  Language:Python13.2k29313.4k4.5k

• James-Yu/LaTeX-Workshop

  Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

  Language:TypeScript10.9k573.1k537

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• PRML/PRMLT

  Matlab code of machine learning algorithms in book PRML

  Language:MATLAB6k405302.2k

• google-research/arxiv-latex-cleaner

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

  Language:Python5.5k3455335

• beancount/beancount

  Beancount: Double-Entry Accounting from Text Files.

  Language:Python4k47541319

• scalanlp/breeze

  Breeze is/was a numerical processing library for Scala.

  Language:Scala3.4k206540689

• sjtug/SJTUThesis

  上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template

  Language:TeX3.4k55489794

• jupyter-xeus/xeus-cling

  Jupyter kernel for the C++ programming language

  Language:C++3.1k67302302

• Farama-Foundation/HighwayEnv

  A minimalist environment for decision-making in autonomous driving

  Language:Python2.7k29473771

• sthalles/SimCLR

  PyTorch implementation of SimCLR: A Simple Framework for Contrastive Learning of Visual Representations

  Language:Jupyter Notebook2.3k2158467

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• logcabin/logcabin

  LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.

  Language:C++1.9k97214300

• riscv-non-isa/riscv-asm-manual

  RISC-V Assembly Programmer's Manual

  Language:Makefile1.5k7649241

• boost-ext/di

  C++14 Dependency Injection Library

  Language:C++1.2k68392138

• mpark/variant

  C++17 `std::variant` for C++11/14/17

  Language:C++679316490

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml441265579

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++4342820580

• ImperialCollegeLondon/natural_number_game

  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

  Language:Lean29468773

• merrymercy/compiler2017

  A compiler for the course Compiler 2017 at ACM Class, SJTU.

  Language:Java768219

• Engineev/ravel

  A RISC-V simulator

  Language:C++36508

• peterzheng98/Compiler-2020

  Language:Python1912511

• Engineev/mocker

  A compiler for course Compiler 2019

  Language:C++16301

• oscardhc/Compiler-Spider

  http://spider.oscardhc.com

  Language:Python12301

• xuyifangreeneyes/mxcompiler

  Craft a toy compiler

  Language:Java10000

• jinhongyii/Lightning

  Language:Java9600

• Michaelvll/Network-In-Practice

  This project contains some assignments for course Computer Networking (CS391, 2018), including web server, proxy and so on

  Language:Java4201

• oscardhc/CompilerLocalJudge

  Language:Python3202

• TianBoyu/Mlang_Compiler

  Language:Java1000