objectisundefined's Stars
dwmkerr/hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
steshaw/plt
Programming Language Theory λΠ
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
HigherOrderCO/Kind1
A next-gen functional language
envoyproxy/envoy
Cloud-native high-performance edge/middle/service proxy
aerospike/aerospike-server
Aerospike Database Server – flash-optimized, in-memory, nosql database
meilisearch/meilisearch
A lightning-fast search API that fits effortlessly into your apps, websites, and workflow
rust-lang/rust
Empowering everyone to build reliable and efficient software.
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
starship/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
neovim/neovim
Vim-fork focused on extensibility and usability
LunarVim/LunarVim
🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
charlax/professional-programming
A collection of learning resources for curious software engineers
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
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.
haskell/aeson
A fast Haskell JSON library
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.
ant-design/ant-design
An enterprise-class UI design language and React UI library
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
nilehmann/liquid-rust
fused-effects/fused-effects
A fast, flexible, fused effect system for Haskell
cli/cli
GitHub’s official command line tool
sveltejs/svelte
Cybernetically enhanced web apps
FredKSchott/snowpack
ESM-powered frontend build tool. Instant, lightweight, unbundled development. ✌️
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
ecomfe/react-hooks
Collection of react hooks