guilhermehas

guilhermehas's Stars

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript68.1k1.7k2.4k16.7k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.3k1022.8k977

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig35.7k37711.7k2.6k

• nushell/nushell

  A new type of shell

  Language:Rust33.1k1905.9k1.7k

• TeamNewPipe/NewPipe

  A libre lightweight streaming front-end for Android.

  Language:Java32k6079.1k3.1k

• yuliskov/SmartTube

  SmartTube - an advanced player for set-top boxes and tvs running Android OS

  Language:Java20.7k1922.8k1.1k

• gitbutlerapp/gitbutler

  The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

  Language:Rust13.7k47793547

• simplex-chat/simplex-chat

  SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

  Language:Kotlin7.6k811.4k351

• automerge/automerge

  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

  Language:JavaScript4.2k32263183

• tectonic-typesetting/tectonic

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  Language:C4k41465165

• oils-for-unix/oils

  Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

  Language:Python3k401.4k162

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k265

• SkyTubeTeam/SkyTube

  Copylefted libre / open source YouTube player for Android

  Language:Java2.4k84684329

• jgm/djot

  A light markup language

  Language:Emacs Lisp1.7k2919747

• ngs-lang/ngs

  Next Generation Shell (NGS)

  Language:C1.5k2961141

• jonjomckay/fritter

  A privacy-friendly Twitter frontend for mobile devices

  Language:Dart1.4k2758084

• TheThirdOne/rars

  RARS -- RISC-V Assembler and Runtime Simulator

  Language:Java1.2k25153241

• jbake-org/jbake

  Java based open source static site/blog generator for developers & designers.

  Language:Java1.1k77431327

• let-def/texpresso

  TeXpresso: live rendering and error reporting for LaTeX

  Language:C42795119

• rsimmons/voracious

  A video player for studying foreign languages (esp. Japanese)

  Language:JavaScript33496139

• luke-clifton/shh

  Simple shell like scripting from Haskell

  Language:Haskell284115311

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean2641662108

• oaprograms/lingo-player

  Open source video player with language learning features

  Language:JavaScript1308724

• matklad/matklad.github.io

  My coding related blog

  Language:TypeScript1081123150

• n2o/reveal-cljs

  reveal.js + ClojureScript = Awesome presentations with joy

  Language:Clojure663014

• emacsmirror/org-re-reveal

  Org export to reveal.js presentations

  Language:HTML47305

• LS-Lab/Coq-dL

  A formally verified implementation of differential dynamic logic in Coq

  Language:Coq12703

• antifuchs/nix-flake-tests

  Use lib.runTests in a nix flake

  Language:Nix7421

• csetzer/agdaLatex

  import of Agda code into Latex directly from agda files

  Language:Makefile2201

• Racket-Cookbooks/Slideshow-cookbook

  Racket Slideshow cookbook

  2310