objectisundefined's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
ant-design/ant-design
An enterprise-class UI design language and React UI library
tauri-apps/tauri
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
neovim/neovim
Vim-fork focused on extensibility and usability
sveltejs/svelte
web development for the rest of us
AppFlowy-IO/AppFlowy
Bring projects, wikis, and teams together with AI. AppFlowy is an AI collaborative workspace where you achieve more without losing control of your data. The best open source alternative to Notion.
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
meilisearch/meilisearch
A lightning-fast search API that fits effortlessly into your apps, websites, and workflow
charlax/professional-programming
A collection of learning resources for curious software engineers
starship/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
cli/cli
GitHub’s official command line tool
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
dwmkerr/hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
envoyproxy/envoy
Cloud-native high-performance edge/middle/service proxy
FredKSchott/snowpack
ESM-powered frontend build tool. Instant, lightweight, unbundled development. ✌️
LunarVim/LunarVim
🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
steshaw/plt
Programming Language Theory λΠ
HigherOrderCO/Kind1
A modern proof language
caiorss/Functional-Programming
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
idris-lang/Idris2
A purely functional programming language with first class types
flix/flix
The Flix Programming Language
haskell/aeson
A fast Haskell JSON library
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
aerospike/aerospike-server
Aerospike Database Server – flash-optimized, in-memory, nosql database
reflex-frp/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
ecomfe/react-hooks
Collection of react hooks
fused-effects/fused-effects
A fast, flexible, fused effect system for Haskell
nilehmann/liquid-rust