Gasahorlogo

Gasahorlogo's Stars

• yjl9903/AnimeSpace

  Keep following your favourite anime

  Language:TypeScript56

• void-linux/void-packages

  The Void source packages collection

  Language:Shell2.6k2.2k

• sineto/vpsm

  vpsm - Void-Packages Sources Management wrapper for XBPS-SRC

  Language:Shell589

• nordtheme/nord

  An arctic, north-bluish color palette.

  Language:SCSS6.1k170

• MPRI/M2-4-2

  Functional programming and type systems

  11923

• satijalab/seurat

  R toolkit for single cell genomics

  Language:R2.3k917

• google/mozc-devices

  Circuit diagrams and firmware source code for Gboard DIY keyboards

  Language:Python2.2k146

• norvig/paip-lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

  Language:Common Lisp7.2k702

• gfngfn/SATySFi

  A statically-typed, functional typesetting system

  Language:OCaml1.2k84

• HaskellZhangSong/Introduction_to_Haskell_2ed_source

  这是Haskell函数式编程入门第2版的源码

  Language:Haskell8213

• smlsharp/smlsharp

  SML# compiler

  Language:LLVM21828

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k359

• mozart/mozart2

  Mozart Programming System v2

  Language:Oz56696

• russellallen/self

  Making the world safe for objects

  Language:Self71376

• searxng/searxng

  SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

  Language:Python13.9k1.4k

• whily/yalo

  Lisp OS running on bare metal x86-64 hardware (WIP)

  Language:Common Lisp57232

• stakira/OpenUtau

  Open singing synthesis platform / Open source UTAU successor

  Language:C#2.1k291

• NsCDE/NsCDE

  Modern and functional CDE desktop based on FVWM

  Language:CSS2k56

• i3/i3

  A tiling window manager for X11

  Language:C9.6k778

• McCLIM/McCLIM

  An implementation of the Common Lisp Interface Manager, version II

  Language:Common Lisp579117

• etternagame/etterna

  Advanced cross-platform rhythm game focused on keyboard play

  Language:C++508136

• Quaver/Quaver

  The ultimate community-driven, and open-source competitive rhythm game available on Steam.

  Language:C#67298

• unya/usim

  MIT CADR simulator

  Language:C5713

• dejavudwh/The-Implementation-of-Functional-Programming-Languages

  The Implementation of Functional Programming Languages（中文译本）

  5

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32010

• performous/performous

  An open-source music and rhythm game.

  Language:C++494106

• mit-pdos/xv6-public

  xv6 OS

  Language:C7.9k4k

• lagerspetz/linux-stuff

  Useful Linux Stuff, such as linux hybrid graphics scripts for LMDE.

  Language:CSS12745

• open-ani/animeko

  一站式在线弹幕追番平台：全自动 BT + 在线多数据源聚合，离线缓存，Bangumi 收藏同步，弹幕云过滤 ... 100% Kotlin Compose Multiplatform

  Language:Kotlin1.9k59

• MuTsunTsai/fontfreeze

  Freeze variations and features in font.

  Language:JavaScript1201