linusyang

linusyang's Stars

• nvbn/thefuck

  Magnificent app which corrects your previous console command.

  Language:Python83.2k8377203.4k

• tmux/tmux

  tmux source code

  Language:C33.4k4233.3k2k

• bang590/JSPatch

  JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to hotfix iOS App.

  Language:Objective-C11.4k5027262.2k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++11.2k1235.9k1.4k

• andlabs/libui

  Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

  Language:C10.6k324367612

• lauris/awesome-scala

  A community driven list of useful Scala libraries, frameworks and software.

  Language:Python9k602751.3k

• johnkerl/miller

  Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

  Language:Go8.6k68634202

• wangyu-/udp2raw

  A Tunnel which Turns UDP Traffic into Encrypted UDP/FakeTCP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment)

  Language:C++6.9k2214681.1k

• microsoft/WinObjC

  Objective-C for Windows

  Language:C6.2k4571.8k815

• prompt-toolkit/ptpython

  A better Python REPL

  Language:Python5.1k66391276

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.3k19250256

• prompt-toolkit/pyvim

  Pure Python Vim clone.

  Language:Python2.5k96114159

• anestisb/vdexExtractor

  Tool to decompile & extract Android Dex bytecode from Vdex files

  Language:C9874275212

• piscisaureus/wepoll

  wepoll: fast epoll for windows⁧ 🎭

  Language:C9024932139

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq640482682

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell54333587

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris53982036

• Chion82/kcptun-raw

  Kcptun with raw socket and fake TCP headers.

  Language:C4123816102

• DexPatcher/dex2jar

  Unofficial dex2jar builds

  Language:Java20818329

• MrMC/mrmc

  MrMC Main Repository - By using this code you agree to follow the GPLv2 license.

  Language:C++187376970

• namin/dot

  formalization of the Dependent Object Types (DOT) calculus

  15317012

• TiarkRompf/minidot

  Dependent Object Types (DOT), bottom up

  Language:Coq8110010

• sstucki/system-f-agda

  A formalization of the polymorphic lambda calculus extended with iso-recursive types

  Language:Agda67308

• samuelgruetter/dot-calculus

  Formalization of the Dependent Object Types (DOT) calculus

  Language:Coq62509

• clash-lang/ghc-typelits-natnormalise

  Normalise GHC.TypeLits.Nat equations

  Language:Haskell42153514

• tonymorris/parametricity

  A talk on parametricity

  Language:TeX35412

• CindyLinz/BYOHC-Workshop

  BYOHC workshop 活動記錄

  Language:Haskell292103

• xnning/TypeInfer

  Type inference for 'type level computation one step at a time'

  Language:Haskell12401

• zilberstein/system-fc-coq

  Language:TeX11603

• coq-contribs/pts

  A formalisation of Pure Type Systems

  Language:Coq10200