0rphee

0rphee's Stars

• ipetkov/crane

  A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

  Language:Nix97892

• DetachHead/basedpyright

  pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

  Language:TypeScript1.3k28

• thomashoneyman/purescript-overlay

  PureScript core tools in Nix

  Language:PureScript4412

• subframe7536/maple-font

  [Try V7!] Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and command line. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1

  Language:Python5k77

• dustinlyons/nixos-config

  General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

  Language:Nix1.9k120

• chisui/zsh-nix-shell

  zsh plugin that lets you use zsh in nix-shell shells.

  Language:Shell38919

• spaceship-prompt/spaceship-prompt

  :rocket::star: Minimalistic, powerful and extremely customizable Zsh prompt

  Language:Shell19.7k959

• NixOS/nixfmt

  The official (but not yet stable) formatter for Nix code

  Language:Haskell96042

• ryan4yin/nixos-and-flakes-book

  :hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

  Language:Nix2.1k105

• xwmx/nb

  CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.

  Language:Shell6.8k189

• rlxone/Equinox

  🌇 🌃 Create dynamic wallpapers for macOS.

  Language:Swift1.3k36

• purescript/spago

  🍝 PureScript package manager and build tool

  Language:PureScript794132

• nwolverson/purescript-language-server

  Language:PureScript19043

• DomBinks/dynamic-meets-static

  Dynamic Meets Static: Ahead-of-time Compilation for Lua

  Language:Haskell5

• glennstreet/awesome-philosophy-compsci

  A list of resources that cross the disciplines of Computer Science and Philosophy

  774

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k245

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell27428

• hslua/hslua

  Haskell bindings to Lua, an embeddable scripting language.

  Language:C13026

• zen-browser/desktop

  🌀 Experience tranquillity while browsing the web without people tracking you!

  Language:JavaScript21k510

• jordanbaird/Ice

  Powerful menu bar manager for macOS

  Language:Swift15.2k282

• NorfairKing/opt-env-conf

  Language:Haskell234

• kverb/dotfiles

  Language:CSS3

• artsyfriedchicken/EdgyArc-fr

  Firefox Userchrome and sidebery style

  Language:CSS66222

• RemyIsCool/AnimatedFox

  A minimal Firefox theme with a hidden popup URL bar and satisfying animations

  Language:CSS1617

• Ksound22/developer-portfolio

  Portfolio website tutorial for freeCodeCamp readers

  Language:HTML173207

• sprintcube/docker-compose-lamp

  A basic LAMP stack environment built using Docker Compose.

  Language:Dockerfile2.7k1.4k

• Haskell-Chapelure/chapelure

  Chapelure is a diagnostic library for Haskell

  Language:Haskell442

• mainland/mainland-pretty

  Language:Haskell1012

• 1Computer1/errata

  Source code error pretty printing

  Language:Haskell476

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell26019