thalesmg

thalesmg's Stars

• zylon-ai/private-gpt

  Interact with your documents using the power of GPT, 100% privately, no data leaks

  Language:Python54.6k4601.2k7.3k

• aristocratos/btop

  A monitor of resources

  Language:C++21.9k115636669

• Xfennec/progress

  Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

  Language:C8.6k140111315

• bcpierce00/unison

  Unison file synchronizer

  Language:OCaml4.3k81575238

• CorsixTH/CorsixTH

  Open source clone of Theme Hospital

  Language:Lua4.1k1251.3k369

• ept/hermitage

  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

  2.5k733185

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k121634360

• bors-ng/bors-ng

  👁 A merge bot for GitHub Pull Requests

  Language:Elixir1.5k17453180

• cov-lineages/pango-designation

  Repository for suggesting new lineages that should be added to the current scheme

  Language:Jupyter Notebook1k802.3k98

• libretro/libretro-database

  Repository containing cheatcode files, content data files, etc.

  Language:Python96355356792

• dkfans/keeperfx

  Open source remake and Fan Expansion of Dungeon Keeper.

  Language:C794271.7k80

• rustyio/sync

  On-the-fly recompiling and reloading in Erlang. Code without friction.

  Language:Erlang7514340162

• tonihele/OpenKeeper

  Dungeon Keeper II remake

  Language:Java4424820843

• racket/zuo

  A tiny Racket for scripting

  Language:C277171329

• ocaml-wasm/wasm_of_ocaml

  Language:OCaml25913499

• MeoMix/symbiants

  Ant Colony Sim + Daily Mental Health Exercises

  Language:Rust2214483

• simonmichael/shelltestrunner

  Easy, repeatable testing of CLI programs/commands

  Language:Haskell135102210

• JohnGlassmyer/UltimaHacks

  Patches which add features to, and improve the usability of, the 1990s video games Ultima VII (BG and SI) and Ultima Underworld (I and II), along with a program to compile and apply these patches.

  Language:Assembly13318296

• quambene/bogrep

  Grep your bookmarks

  Language:Rust1022102

• fredlund/JavaErlang

  JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.

  Language:Erlang759819

• mxmlnkn/fft-image-experiments

  Experiments with applying Fourier transofrms to various plane-filling curves and patterns

  Language:Python66103

• haxko/NE3-Scope

  A Python based open source viewer for the NE3 Earpick wireless endoscope

  Language:Python38778

• luigiapetre/Formal-Methods-Courses

  Here we collect worldwide courses teaching formal methods

  Language:Shell356574

• str0zzapreti/pytest-retry

  A simple plugin for retrying flaky tests in CI environments

  Language:Python292167

• lexi-lambda/racket-mvar

  An implementation of Haskell’s MVars in Racket

  Language:Racket28201

• inaka/katana-code

  Code Utilities for Erlang

  Language:Erlang17382917

• cdsmith/spatial-voting

  Language:Haskell7100

• patricia-gallardo/hello-world-ebpf

  Language:CMake3110

• binary-manu/gogdiff

  Create self-extracting patches for GOG cross-platform games

  Language:Shell2200

• qzhuyan/ctags

  A maintained ctags implementation

  Language:C2200