Simplified Git
☆39Jun 9, 2015Updated 11 years ago
Alternatives and similar repositories for sit
Users that are interested in sit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- ☆11Oct 18, 2026Updated 2 weeks ago
- Website of Yi-Zhuang You's Research Group☆17Aug 3, 2026Updated 3 months ago
- Let's discover a new world. — Edit☆10Jan 6, 2017Updated 9 years ago
- sjtug.org source code, auto generated by GitHub Action☆15Sep 13, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Commands to run VASP jobs automatically. Pre-processing or post-processing☆10Jan 8, 2024Updated 2 years ago
- A set of Gui tools for ruby. My first gem....☆16May 26, 2017Updated 9 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 8 years ago
- Yet another Y86 implementation☆67Jan 22, 2025Updated last year
- Display Markdown formatted documents on your local web server using GitHub's Markdown rendering API and CSS to mimic the visuals of GitHu…☆21Jan 30, 2022Updated 4 years ago
- ☆14Jul 20, 2017Updated 9 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 8 years ago
- UIUC CS 199 EMP (paired with CS 125) Slide Website for Spring 2021 and Fall 2020☆10Oct 14, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automated Reasoning Infrastructure & Applications☆17Sep 19, 2026Updated last month
- ☆14May 2, 2021Updated 5 years ago
- ☆10Aug 7, 2025Updated last year
- MOOC & Open Source Group☆19Apr 1, 2018Updated 8 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆13Dec 5, 2022Updated 3 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 7 months ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- An implementation of GrassMudHorse programming language in Haskell☆51Apr 8, 2015Updated 11 years ago
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 3D model for HKUST Redbird (Sundial) built with OpenSCAD☆15Oct 13, 2022Updated 4 years ago
- Team Unagi's repository for ICFPC 2018☆15Aug 3, 2018Updated 8 years ago
- ☆12Aug 10, 2018Updated 8 years ago
- Code for calculating Hofstadter diagrams in the Bistrizer-Macdonald model of twisted bilayer graphene. The implementation follows that of…☆11Jun 26, 2021Updated 5 years ago
- A hand-written recursive decent Verilog parser.☆10Jun 28, 2026Updated 4 months ago
- A simple, nodeJS, static http file server.☆25Jan 17, 2016Updated 10 years ago
- ☆23Oct 17, 2014Updated 12 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LaTeX support for Creative Commons icons☆13Jun 29, 2026Updated 4 months ago
- Interpreter for C89 in Haskell☆10Nov 21, 2015Updated 10 years ago
- 上海交通大学软件学院研究生课程作业参考☆48Jun 27, 2022Updated 4 years ago
- 南京大学本科毕业论文模板☆13Jun 1, 2016Updated 10 years ago
- Platform + GUI for hyperparameter optimization of recurrent neural networks (MATLAB).☆10Dec 29, 2021Updated 4 years ago
- PowerPC Support for VSCode, Syntax Highlighting, Go To Definition, Go To Reference, Hover Support, etc.☆19Jul 28, 2022Updated 4 years ago
- A small utility script to rotate☆10Sep 28, 2014Updated 12 years ago