luisvgs's Stars
ByteByteGoHq/system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
slint-ui/slint
Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.
rougier/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
btpf/Alexandria
A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript
altsem/gitu
A TUI Git client inspired by Magit
tailcallhq/tailcall
High Performance GraphQL Runtime
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
try-triplex/triplex
The visual IDE for React Three Fiber.
MarcoIeni/release-plz
Publish Rust crates from CI with a Release PR.
p3r7/awesome-elisp
🏵️ A curated list of Emacs Lisp development resources
scalafx/scalafx
ScalaFX simplifies creation of JavaFX-based user interfaces in Scala
getkyo/kyo
Toolkit for Scala Development
rougier/mu4e-dashboard
A dashboard for mu4e (mu for emacs)
Ditectrev/AWS-Certified-Solutions-Architect-Associate-SAA-C03-Practice-Tests-Exams-Questions-Answers
⛳️ PASS: Amazon Web Services Certified (AWS Certified) Solutions Architect Associate (SAA-C03) by learning based on our Questions & Answers (Q&A) Practice Tests Exams.
lorniu/go-translate
Translator on Emacs. Supports multiple engines such as Google, Bing, deepL, ChatGPT, StarDict, Youdao and so on.
neohaskell/NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
emacs-exwm/exwm
Emacs X Window Manager
ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
Bleuje/variations-combinator
real-time generative art project with openFrameworks
SebastianMeisel/journalctl-mode
Major mode to view journalctl's output in Emacs
PurpleKingdomGames/ultraviolet
Scala 3 to GLSL transpiler library
samuela/bidirectional-typing
A bidirectional type checker
jeetelongname/doom-banners
banner images that are used by people as their emacs / doom spash screens
JD557/minart
A minimal Scala creative coding library targeting JVM/Javascript/Native
melvic-ybanez/chi
A function code generator and an isomorphism analyzer
phase/dtt
experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
ToTal/total
pascalpoizat/idris-book
examples and exercises in "Type-Driven Development with Idris"
steshaw/idris-calc
A simple arithmetic calculator written in Idris.