-
-
-
getx Public
Forked from jonataslaw/getxOpen screens/snackbars/dialogs/bottomSheets without context, manage states and inject dependencies easily with Get.
Dart MIT License UpdatedNov 18, 2023 -
-
-
-
pi-hole Public
Forked from pi-hole/pi-holeA black hole for Internet advertisements
Shell Other UpdatedJan 19, 2023 -
pivpn Public
Forked from pivpn/pivpnThe Simplest VPN installer, designed for Raspberry Pi
Shell MIT License UpdatedDec 22, 2022 -
dotfiles Public
Forked from mathiasbynens/dotfiles🔧 .files, including ~/.macos — sensible hacker defaults for macOS
Shell MIT License UpdatedOct 23, 2022 -
-
nvim-lspconfig Public
Forked from neovim/nvim-lspconfigQuickstart configurations for the Nvim LSP client
Lua Other UpdatedMay 6, 2022 -
eclipse-collections Public
Forked from eclipse/eclipse-collectionsEclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
Java UpdatedApr 10, 2022 -
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 16, 2022 -
coding-interview-university Public
Forked from jwasham/coding-interview-universityA complete computer science study plan to become a software engineer.
-
-
-
aws-ethereum-miner Public
Forked from mludvig/aws-ethereum-minerCloudFormation template for mining Ethereum crypto currency on AWS
Python UpdatedJan 21, 2022 -
mazegenerator Public
Forked from razimantv/mazegeneratorGenerate mazes of different shapes and arbitrary sizes using graph theory
C++ MIT License UpdatedNov 23, 2021 -
-
-
knights_travails Public
Forked from JonathanYiv/knights_travailsImplementation of the Shortest Path Problem for a Knight Chess in Ruby
Ruby UpdatedAug 26, 2017