1-p

1-p's Stars

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k364

• HoTT/HoTT-Agda

  Development of homotopy type theory in Agda

  Language:Agda41859

• dean-wong/Cocoa-mupdf

  去掉了X11的依赖，使用GLFW的Cocoa框架实现程序，并添加功能。

  Language:C13423

• apache/mxnet

  Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

  Language:C++20.8k6.8k

• einaregilsson/Redirector

  Browser extension (Firefox, Chrome, Opera, Edge) to redirect urls based on regex patterns, like a client side mod_rewrite.

  Language:JavaScript1.6k166

• shazow/ssh-chat

  Chat over SSH.

  Language:Go5.6k411

• antirez/kilo

  A text editor in less than 1000 LOC with syntax highlight and search.

  Language:C7.5k824

• skx/kilua

  A minimal text-editor with lua scripting.

  Language:C++16415

• rgcr/m-cli

   Swiss Army Knife for macOS

  Language:Shell9.7k309