Giters
Luis (luisvgs)

luisvgs

Geek Repo

21

followers

51

following

999

stars

Location:Venezuela

Github PK Tool:Github PK Tool

Luis's starred repositories

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

License:NOASSERTIONStargazers:62532Issues:822Issues:46

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:16705Issues:104Issues:1940

glow

Render markdown on the CLI, with pizzazz! 💅🏻

Language:GoLicense:MITStargazers:15688Issues:76Issues:258

soft-serve

The mighty, self-hostable Git server for the command line🍦

Language:GoLicense:MITStargazers:5164Issues:33Issues:170

nano-emacs

GNU Emacs / N Λ N O - Emacs made simple

Language:Emacs LispLicense:GPL-3.0Stargazers:2515Issues:46Issues:103

Alexandria

A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript

Language:TypeScriptLicense:GPL-3.0Stargazers:2119Issues:15Issues:47

gitu

A TUI Git client inspired by Magit

Language:RustLicense:MITStargazers:1719Issues:5Issues:88

tailcall

High Performance GraphQL Runtime

Language:RustLicense:Apache-2.0Stargazers:1247Issues:7Issues:543

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Language:Common LispLicense:MITStargazers:1115Issues:29Issues:393

triplex

The visual IDE for React Three Fiber.

Language:TypeScriptLicense:GPL-3.0Stargazers:788Issues:6Issues:204

release-plz

Publish Rust crates from CI with a Release PR.

Language:RustLicense:Apache-2.0Stargazers:764Issues:7Issues:237

awesome-elisp

🏵️ A curated list of Emacs Lisp development resources

License:UnlicenseStargazers:750Issues:34Issues:12

scalafx

ScalaFX simplifies creation of JavaFX-based user interfaces in Scala

Language:ScalaLicense:NOASSERTIONStargazers:666Issues:33Issues:333

kyo

Toolkit for Scala Development

Language:ScalaLicense:Apache-2.0Stargazers:499Issues:27Issues:91

mu4e-dashboard

A dashboard for mu4e (mu for emacs)

Language:Emacs LispLicense:GPL-3.0Stargazers:463Issues:10Issues:29

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.

Stargazers:315Issues:9Issues:14

go-translate

Translator on Emacs. Supports multiple engines such as Google, Bing, deepL, ChatGPT, StarDict, Youdao and so on.

Language:Emacs LispLicense:GPL-3.0Stargazers:272Issues:7Issues:60

NeoHaskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

Language:HaskellLicense:Apache-2.0Stargazers:267Issues:11Issues:108

exwm

Emacs X Window Manager

Language:Emacs LispLicense:GPL-3.0Stargazers:223Issues:18Issues:51

astmaker

Build Abstract Syntax Trees and tree-walking models quickly in Rust.

Language:RustLicense:MITStargazers:122Issues:2Issues:0

dot

Simplest dotfiles manager written in shellscript :shell:

Language:ShellLicense:MITStargazers:120Issues:8Issues:8

lambdapi

Dependently Typed Lambda Calculus in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:111Issues:3Issues:0

variations-combinator

real-time generative art project with openFrameworks

Language:C++License:GPL-3.0Stargazers:89Issues:3Issues:1

journalctl-mode

Major mode to view journalctl's output in Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:75Issues:6Issues:23

bidirectional-typing

A bidirectional type checker

Language:HaskellStargazers:55Issues:4Issues:0

chi

A function code generator and an isomorphism analyzer

Language:ScalaLicense:MITStargazers:37Issues:3Issues:50

dtt

experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust

Language:RustStargazers:23Issues:2Issues:0

anders

🧊 Модальний гомотопічний верифікатор математики

Language:OCamlLicense:NOASSERTIONStargazers:18Issues:0Issues:0

total

Language:OCamlStargazers:11Issues:0Issues:0

idris-book

examples and exercises in "Type-Driven Development with Idris"

Language:IdrisLicense:Apache-2.0Stargazers:6Issues:2Issues:0