m1cm1c

m1cm1c's starred repositories

Tide - TypeScript Interactive Development Environment for Emacs

Language:Emacs LispGPL-3.01454 28 279

automagical shell alias completion;

Language:ShellGPL-3.0728 19 42

Deepin developer center, provide developer wiki and community forum.

KaHIP -- Karlsruhe HIGH Quality Partitioning.

Language:C++MIT387 22 77

A high-level framework for developing efficient zk-SNARK circuits

Language:JetBrains MPSMIT183 8 38

Work in progress: View and edit parts of multiple files in one buffer

Language:Emacs Lisp76 10 4

Solidity - Self-Balancing Binary Search Tree with Order Statistics

Language:Solidity76 4 2

Flymake backend for Javascript using eslint

Language:Emacs LispMIT42 3 15

Shared-Memory and Distributed-Memory Parallel Graph Partitioning

Language:C++MIT32 5 5

Skriptartiger Mitschrieb für die Vorlesung Moderne Physik für Informatiker, SS15/17, KIT

Language:TeX21 6 4

Solidity functions for traversing an ASN1-encoded data structure

Language:SolidityMIT12 40