ncihnegn

ncihnegn's Stars

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k356524987

• weijunext/indie-hacker-tools

  收录独立开发者出海技术栈和工具

  6.5k6611634

• skyzh/mini-lsm

  A tutorial of building an LSM-Tree storage engine in a week.

  Language:Rust2.9k3228402

• pdeljanov/Symphonia

  Pure Rust multimedia format demuxing, tag reading, and audio decoding library

  Language:Rust2.4k18179144

• xiph/opus

  Modern audio compression for the internet.

  Language:C2.3k97236621

• rakudo/rakudo

  🦋 Rakudo – Raku on MoarVM, JVM, and JS

  Language:Raku1.7k1102.9k376

• keshavdv/unifi-cam-proxy

  Enable non-Ubiquiti cameras to work with Unifi NVR

  Language:Python1.7k77219237

• phmullins/awesome-macos

  A curated list of awesome software for Apple's macOS.

  1.7k4410105

• Hedlen/awesome-segment-anything

  Tracking and collecting papers/projects/others related to Segment Anything.

  1.6k6214133

• sylefeb/Silice

  Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

  Language:C++1.3k4520078

• titzer/virgil

  A fast and lightweight native programming language

  Language:Shell1.2k228752

• shell-pool/shpool

  Think tmux, then aim... lower

  Language:Rust1.2k105120

• hasktorch/hasktorch

  Tensors and neural networks in Haskell

  Language:Haskell1.1k30205107

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9654549184

• PDP-10/its

  Incompatible Timesharing System

  Language:Assembly868451.3k84

• sampsyo/cs6120

  advanced compilers

  Language:HTML75722124158

• skeeto/hash-prospector

  Automated integer hash function discovery

  Language:C688272327

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML63048653142

• openvanilla/McBopomofo

  小麥注音輸入法

  Language:Swift6302625677

• dylan-lang/opendylan

  Open Dylan compiler and IDE

  Language:Dylan4583658469

• d0u9/Linux-Device-Driver

  Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB, serial devices. I am actively composing a new book about Driver Development in Linux Kernel.

  Language:C421195137

• vChewing/vChewing-macOS

  威注音輸入法 macOS 版，恐怕是截至目前為止在功能多樣性方面最強的第三方免費 macOS 系統專用輸入法，採純 Swift 語言寫就。威注音的著力點是盡可能在力所能及的範圍內將整個產品的功能做得更好用，搭配特製的簡體中文與繁體中文專用辭庫。是純粹的簡體中文注音輸入法（也內贈原生繁體中文輸入模式），更具諸多威注音特色功能。目前研發管理工作均在 CSDN GitCode 進行。

  Language:Swift316229910

• SaberVM/SaberVM

  Language:Rust197561

• cucapra/filament

  Fearless hardware design

  Language:Verilog16381929

• d0u9/Linux-Device-Driver-Rust

  A try to follow the rust port in Linux kernel in driver development.

  Language:Rust967312

• vegaluisjose/reticle

  Language:Rust41305

• scuptio/sedeve-kit

  In Spec We Trust

  Language:Rust32315

• bmitc/the-little-schemer

  Racket code and annotations for The Little Schemer

  Language:Racket20111

• clash-lang/clash-protocols

  a battery-included library for dataflow protocols

  Language:Haskell1916417

• cedille/cedille2

  Language:Rust9301