Skip to content
View joseemds's full-sized avatar
🧊
🧊

Highlights

  • Pro

Organizations

@Lit-IFRN

Block or report joseemds

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
C 474 86 Updated Sep 16, 2024

A simple and easy to use mod manager for several games using Thunderstore

TypeScript 1,308 195 Updated Dec 17, 2024

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

C++ 36,787 7,871 Updated Aug 23, 2024

Open Source Continuous File Synchronization

Go 66,235 4,337 Updated Dec 17, 2024

Coq formalizations of functional languages.

Coq 142 9 Updated Jul 2, 2020

Cloudflare Tunnel client (formerly Argo Tunnel)

Go 9,476 844 Updated Dec 17, 2024

The most intuitive desktop API client. Organize and execute REST, GraphQL, and gRPC requests in a simple and intuitive app.

TypeScript 2,439 73 Updated Dec 17, 2024

A curated list of awesome places to learn and/or practice algorithms.

21,143 2,673 Updated Nov 16, 2024

A tool for exploring each layer in a docker image

Go 48,527 1,817 Updated Jul 15, 2024

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Go 17,652 511 Updated Sep 26, 2024

Perhaps the smallest useful terminal multiplexer in the world.

C 1,123 53 Updated Jul 18, 2024

The lazier way to manage everything docker

Go 39,399 1,249 Updated Nov 23, 2024

Log file navigator

C++ 8,162 324 Updated Dec 17, 2024

Finally, a shell for all seasons!

Rust 95 2 Updated Sep 15, 2024

HTTP load testing tool and library. It's over 9000!

Go 23,716 1,376 Updated Oct 28, 2024

A web browser that plays old world blues to build new world hope

Rust 4,731 158 Updated Dec 17, 2024

A stack-based array programming language

Rust 1,671 119 Updated Dec 18, 2024

Access large language models from the command-line

Python 5,125 285 Updated Dec 17, 2024

Lua Lisp Language

Fennel 2,492 126 Updated Nov 21, 2024

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 279,534 46,780 Updated Dec 2, 2024

The optimizing Quil compiler.

Common Lisp 462 72 Updated Sep 26, 2024

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 834 37 Updated Dec 17, 2024

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Haskell 1,255 38 Updated Oct 6, 2024

Find And Replace plugin for neovim

Lua 958 29 Updated Dec 14, 2024

A datetime library for Rust that encourages you to jump into the pit of success.

Rust 1,805 37 Updated Dec 11, 2024

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Rust 49,278 2,021 Updated Sep 30, 2024

High-velocity, monorepo-scale workflow for Git

Rust 3,501 90 Updated Dec 16, 2024

Disassembly of Pokémon Red/Blue

Assembly 4,046 1,000 Updated Dec 16, 2024

Game Boy and Game Boy Color emulator written in C

C 1,706 212 Updated Dec 13, 2024
Next