-
-
-
oomotion_vscode Public
A textobject-oriented vscode keymap. Inspired by vim, kakoune and helix.
-
-
DryadSynth Public
Forked from purdue-cap/DryadSynthA SyGuS Solver
C++ MIT License UpdatedJul 26, 2022 -
Typell Public
A LL(1) Parser Generator based on Type System (Just for Fun)
Haskell UpdatedDec 1, 2021 -
WangProver Public
An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.
-
openj9-openjdk-jdk11 Public
Forked from ibmruntimes/openj9-openjdk-jdk11Extensions for OpenJDK 11 for Eclipse OpenJ9
Java GNU General Public License v2.0 UpdatedAug 11, 2021 -
leon Public
Forked from leon-ai/leon🧠 Leon is your open-source personal assistant.
JavaScript MIT License UpdatedJul 19, 2021 -
deno Public
Forked from denoland/denoA secure JavaScript and TypeScript runtime
Rust MIT License UpdatedJun 7, 2021 -
-
-
webinfo2-relation-extraction Public
Repo for web info lab2 - relation extraction, 2020 fall, USTC.
-
-
-
enum-lexer Public
A proc_macro lexer generator. using `enum`-like syntax.
-
rand Public
Forked from rust-random/randA Rust library for random number generation.
Rust Other UpdatedAug 4, 2020 -
os-tutorial-summer-of-code Public
My repo for OS Tutorial Summer of Code 2020.
-
-
ruby_make_script Public
A ruby make DSL for ruby like GNU make. (very simple)
Ruby MIT License UpdatedJun 25, 2020 -
zCore Public
Forked from rcore-os/zCoreReimplement Zircon microkernel in Rust.
Rust MIT License UpdatedJun 24, 2020 -
-
-
-
nodeppt Public
Forked from ksky521/nodepptThis is probably the best web presentation tool so far!
JavaScript MIT License UpdatedJan 16, 2020 -
-
生成整句听写题目的Chrome插件，基于欧路词典，比较粗糙。
JavaScript UpdatedAug 30, 2019 -
jupyter-mysql-kernel Public
Forked from shemic/jupyter-mysql-kerneljupyter-mysql-kernel
Python UpdatedOct 4, 2018
{{ message }}