lane-core's Stars
yangshun/tech-interview-handbook
💯 Curated coding interview preparation materials for busy software engineers
lobehub/lobe-chat
🤯 Lobe Chat - an open-source, modern-design AI chat framework. Supports Multi AI Providers( OpenAI / Claude 3 / Gemini / Ollama / Azure / DeepSeek), Knowledge Base (file upload / knowledge management / RAG ), Multi-Modals (Vision/TTS) and plugin system. One-click FREE deployment of your private ChatGPT/ Claude application.
IceWhaleTech/CasaOS
CasaOS - A simple, easy-to-use, elegant open-source Personal Cloud system.
osxfuse/osxfuse
FUSE extends macOS by adding support for user space file systems
ciderapp/Cider
A new cross-platform Apple Music experience based on Electron and Vue.js written from scratch with performance in mind. 🚀
dylanaraps/pure-sh-bible
📖 A collection of pure POSIX sh alternatives to external processes.
Dusk-Labs/dim
Dim, a media manager fueled by dark forces.
bastibe/org-journal
A simple org-mode based journaling mode
shellspec/shellspec
A full-featured BDD unit testing framework for bash, ksh, zsh, dash and all POSIX shells
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
modernish/modernish
Modernish is a library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.
ghc-proposals/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
HigherOrderCO/hvm-core
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
MirBSD/mksh
MirBSD Korn Shell Source Code Mirror – This is a publish-only repository and all pull requests are ignored. This repository is a mirror and may receive forced (non-fast-forward) updates. Please contribute to the CVS repository of The MirOS Project instead. See https://github.com/mirabilos/mksh for some experiments autobuilding this with Travis-CI and GitHub Actions and for Coverity Scan.
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
snowleopard/alga-paper
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
ksh93/ksh
ksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases
AsahiLinux/asahi-audio
Userspace audio for Asahi Linux
janestreet/shexp
Process library and s-expression based shell
statusfailed/catgrad
a categorical deep learning compiler
VictorTaelin/Interaction-Type-Theory
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
algebraic-graphs/agda
The theory of algebraic graphs formalised in Agda
soraxas/shsh
A multi-threaded manager for shell scripts, functions, standalone binaries, tab-completions, and more.
macOScontainers/macos-jail
Chroot jail for macOS
emilyriehl/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
Sin7Y/ola-lang
Ola is a provable language for writing smart contracts
pkgmgr/pkgmgr
a universal package manager