hsimho

hsimho's Stars

• JoelMoreno99/tfg-exam-processing

  A handwritten examination processing system and a dataset with handwritten examinations.

  Language:C1

• bojanczyk/slajdomat

  A program for making zooming slides in figma.

  Language:JavaScript291

• timdrysdale/gradex-cli

  command line interface to gradex tool

  Language:Go33

• ioan-chera/AutoWolf

  Bot for Wolfenstein 3D. See http://sourceforge.net/projects/autowolf

  Language:C41

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

  Language:Shell174k25.9k

• morxa/tacos

  MTL Controller Synthesis

  Language:C++52

• mdaines/grammophone

  A tool for analyzing and transforming context-free grammars.

  Language:JavaScript20724

• phseiff/github-flavored-markdown-to-html

  Convert markdown to HTML using the GitHub API and some additional tweaks with Python. Comes with full formula support and image compression.

  Language:Python1116

• tgrysztar/fasm

  flat assembler 1 - reconstructed source history

  Language:Assembly63146

• antlr/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java17.2k3.3k

• mrhso/Cangjie_Note

  倉頡筆記——不為人知的倉頡事実

  Language:HTML159

• TheThirdOne/rars

  RARS -- RISC-V Assembler and Runtime Simulator

  Language:Java1.2k230

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k340

• Jcorb08/programming-support-skill

  Programming help using voice

  Language:Python1

• z94213715/winrar-keygen

  Language:C++6834

• swisskyrepo/PayloadsAllTheThings

  A list of useful payloads and bypass for Web Application Security and Pentest/CTF

  Language:Python61.2k14.6k

• sisl/NeuralVerification.jl

  Methods to soundly verify deep neural networks

  Language:Julia22450

• TrustAI/DeepConcolic

  Concolic Testing for Deep Neural Networks

  Language:Python11745

• zxcalc/pyzx

  Python library for quantum circuit rewriting and optimisation using the ZX-calculus

  Language:OpenQASM384116

• pschalkwijk/Python2Uppaal

  Create models for traffic abstractions in python to be used with Uppaal Stratego

  Language:MATLAB2

• rasbt/mlxtend

  A library of extension and helper modules for Python's data analysis and machine learning libraries.

  Language:Python4.9k868

• QSCTech/zju-icicles

  浙江大学课程攻略共享计划

  Language:HTML37.3k9.4k

• PKUanonym/REKCARC-TSC-UHT

  清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

  Language:HTML33.3k7.6k

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML11.1k11.2k

• julian-klode/dns66

  DNS-based Host Blocker (and lightweight ad blocker) for Android

  Language:Java2.1k200

• scottduller/esrs-group-project

  1

• BaptisteGroupProject/ESRSProject

  1

• felixlinker/ifc-rv-thesis

  My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker

  Language:TeX4

• nameoverflow/neuro-cangjie

  神经网络与「汉字基因」

  Language:Python244

• Arthurmcarthur/MicrosoftCangjieTool

  This tool helps users to use Microsoft Cangjie in a more efficient way.

  Language:C++92