rajat98v's Stars
toeverything/AFFiNE
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
vizia/vizia
A declarative GUI library written in Rust
vmchale/polyglot
Tool to count lines of source code.
githwxi/ATS-Xanadu
Bootstrapping ATS3
ValeLang/Vale
Compiler for the Vale programming language - http://vale.dev/
photopea/photopea
Photopea is online image editor
ghc/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
leanprover/lean4
Lean 4 programming language and theorem prover
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.
rvaiya/keyd
A key remapping daemon for linux.
samdroid-apps/nix-articles
Some articles about getting started with Nix programming & configuration
figsoda/cfg
My NixOS configuration featuring awesome and neovim
joshmedeski/fish-lf-icons
Fish plugin to add Nerd Font icon support to the lf terminal file manager
cdepillabout/pretty-simple
pretty-printer for Haskell data types that have a Show instance
Superstar64/aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
Bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
smallhadroncollider/taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
tobbebex/GPipe-Core
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
austral/austral
Systems language with linear types and capability-based security.
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
pikatchu/LinearML
Functional language for parallel programming
sagikazarmark/nix-config
My Nix(OS) configurations
Pauan/rust-dominator
Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!
NixOS/nix.dev
Official documentation for getting things done with Nix.
ponylang/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
material-shell/material-shell
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
rustdesk/rustdesk
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
atlas-engineer/nyxt
Nyxt - the hacker's browser.