danilofaria

system-design-primer

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

godot

Godot Engine – Multi-platform 2D and 3D game engine

cs-video-courses

List of Computer Science courses with video lectures.

manim

Animation engine for explanatory math videos

tldr

📚 Collaborative cheatsheets for console commands

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

autocomplete

IDE-style autocomplete for your existing terminal & shell

awesome-algorithms

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

yoga

Yoga is an embeddable layout engine targeting web standards.

direnv

unclutter your .profile

awesome-postgres

A curated list of awesome PostgreSQL software, libraries, tools and resources, inspired by awesome-mysql

markmap

Build mindmaps with plain text

AmazeFileManager

Material design file manager for Android

container-diff

container-diff: Diff your Docker containers

testing-distributed-systems

Curated list of resources on testing distributed systems

agda

Agda is a dependently typed programming language / interactive theorem prover.

awesome-logseq

Awesome Logseq resources created by the community <3

refined

Refinement types for Scala

squants

The Scala API for Quantities, Units of Measure and Dimensional Analysis

CCF

Confidential Consortium Framework

CitraVR

Port of the leading 3DS emulator, Citra — designed for playing 3DS homebrew and personal game backups in 3D on the go with your Quest.

logseq-anki-sync

An logseq to anki syncing plugin with superpowers - image occlusion, card direction, incremental cards, and a lot more.

tuple-database

logseq-plugin-template-react

Logseq plugin boilerplate for React. Powered by Vite ✨

TeachingKidsProgramming.Java

Eclipse Workspace and code lessons for TKP Java - branches include other workspaces (GitHub Codespaces...)

logseq-custom-files

logseq custom.js and custom.css utilities : resize query table columns, hide namespaces prefixes, better-sidebar......

Number-Theory-Python

Python code to implement various number theory, elliptic curve and finite field computations.

logseq-plugin-show-weekday-and-week-number

Enhance journal functions of Logseq (Beside Journal Title and 2 Lines Calendar etc...)

deploy-aws-docker-openvpn

Deploys OpenVPN in a container to AWS

canton-multinode-example

Example for running canton in a distributed multinode configuration