Simplified Git
☆39Jun 9, 2015Updated 10 years ago
Alternatives and similar repositories for sit
Users that are interested in sit are comparing it to the libraries listed below
Sorting:
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- sjtug.org source code, auto generated by GitHub Action☆16Feb 2, 2026Updated last month
- Website of Yi-Zhuang You's Research Group☆17Updated this week
- a node-plugin for dota2☆28Apr 9, 2020Updated 5 years ago
- A simple, nodeJS, static http file server.☆25Jan 17, 2016Updated 10 years ago
- PowerPC Support for VSCode, Syntax Highlighting, Go To Definition, Go To Reference, Hover Support, etc.☆17Jul 28, 2022Updated 3 years ago
- 人人网所有好友相册下载器☆19Oct 15, 2012Updated 13 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- An implementation of GrassMudHorse programming language in Haskell☆51Apr 8, 2015Updated 10 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Dec 15, 2019Updated 6 years ago
- a tool for creating app templates and setting up installations from git☆21Jul 18, 2017Updated 8 years ago
- Roman Hitman answer☆17Feb 8, 2016Updated 10 years ago
- My Golang solutions to https://leetcode.com/☆19Oct 1, 2018Updated 7 years ago
- Mr. Chi simulator!☆26Jul 24, 2020Updated 5 years ago
- Yet another Y86 implementation☆67Jan 22, 2025Updated last year
- 一起搞个大新闻 :)☆74Jun 23, 2016Updated 9 years ago
- Wavator's ACM code template☆29Jun 8, 2019Updated 6 years ago
- 迅雷下载引擎SDK Go语言版☆31Nov 14, 2018Updated 7 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Linux kernel modules for secure sharing of memory buffers☆37Aug 21, 2025Updated 6 months ago
- ClusterTech Parallel Filesystem☆12May 18, 2018Updated 7 years ago
- Extension of the rdf3x engine and the translatesparql tool.☆44Aug 16, 2013Updated 12 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Screensaver for the Xfce Desktop☆11Jun 11, 2019Updated 6 years ago
- libgit2 bindings for Deno☆12Jul 17, 2023Updated 2 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- An efficient trie implementation.☆16Sep 15, 2014Updated 11 years ago
- ☆13Feb 2, 2018Updated 8 years ago
- ☆16Nov 15, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- 个人总结的Java算法和实战demo☆11Jul 12, 2019Updated 6 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- naïve blockchain in Rust☆10Nov 13, 2020Updated 5 years ago
- Stream processing engine☆13Apr 7, 2021Updated 4 years ago
- 江戸時代から伝わる秘伝のwebpack.conf.js☆10Apr 21, 2019Updated 6 years ago
- A new repo to demonstrate tutorials for using HuggingFace on Graphcore IPUs.☆12May 3, 2023Updated 2 years ago
- ☆10Sep 1, 2020Updated 5 years ago