Awesome Stars

A curated list of my GitHub stars! Generated by starred.

AGS Script
ActionScript
Ada
Adblock Filter List
Agda
Assembly
Astro
Awk
Batchfile
Bikeshed
Blade
C
C#
C++
CMake
COBOL
CSS
Clojure
CodeQL
CoffeeScript
Common Lisp
Coq
Cuda
Curry
D
Dart
Dockerfile
EJS
Elixir
Elm
Emacs Lisp
Erlang
F#
F*
Fennel
G-code
GDScript
GLSL
Gleam
Gnuplot
Go
HCL
HTML
Hack
Haskell
Haxe
Idris
Janet
Java
JavaScript
Jinja
Julia
Jupyter Notebook
Just
Kotlin
LLVM
Lean
Liquid
Lua
MDX
Makefile
Markdown
Mercury
Mustache
NASL
Nim
Nix
Nunjucks
Nushell
OCaml
Objective-C
Objective-C++
Open Policy Agent
Org
Others
PHP
Perl
PostScript
PowerShell
Prolog
Python
QML
R
Racket
ReScript
Reason
Rich Text Format
Roff
Ruby
Rust
SCSS
Sass
Scala
Scheme
Shell
Smalltalk
Solidity
Standard ML
Starlark
Svelte
Swift
SystemVerilog
TLA
TeX
Text
Twig
TypeScript
V
VHDL
Vala
Verilog
Vim Script
Vue
WebAssembly
XSLT
Yacc
Zig
hoon

AGS Script

splinedrive/kianRiscV - KianRISC-V! No RISC-V, no fun! RISC-V CPU with strong design rules and unittested! CPU you can trust! kianv rv32im risc-v a hdmi soc with harris computer architecture in verilog: multicycle, singlecyc

ActionScript

TerryCavanagh/VVVVVV - The source code to VVVVVV! http://thelettervsixtim.es/

Ada

vaartis/hellish - A private torrent tracker and IRC server

Adblock Filter List

AdguardTeam/AdguardFilters - AdGuard Content Blocking Filters
uBlockOrigin/uAssets - Resources for uBlock Origin, uMatrix: static filter lists, ready-to-use rulesets, etc.

Agda

AndrasKovacs/misc-stuff - Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
ericfinster/hott-mgs - Homotopy Type Theory Exercises for MGS 2023
miguel-nascimento/plfa - learning agda through plfa
LightAndLight/ccc - Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.
martinescardo/TypeTopology - Logical manifestations of topological concepts, and other things, via the univalent point of view.
j-towns/flipper - Reversible programming in Agda
plt-amy/1lab - A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
pigworker/CS410-17 - being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
jsiek/B522-PL-Foundations - Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
bgavran/Agda_Category_Theory - Formalization of category theory in Agda
JonathanLorimer/conceptual-mathematics - Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
agda/agda2hs - Compiling Agda code to readable Haskell

Assembly

barotto/test386.asm - x86 CPU tester for emulators
davidgiven/cpm65 - CP/M for the 6502
riscv/riscv-v-spec - Working draft of the proposed RISC-V V vector extension
markmoxon/nes-elite-beebasm - Fully documented and annotated source code for Elite on the Nintendo Entertainment System (NES)
jherskow/nand2tetris - Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for each project is available at https://www.nand2tetris.org/cours
ArqueologiaDigital/PatinhoFeio - Repositório contendo documentação técnica sobre o Patinho Feio, um computador pioneiro brasileiro desenvolvido na Escola Politécnica da USP em 1971 e inaugurado em 1972.
pret/pokediamond - Decompilation of Pokémon Diamond/Pearl
Apress/low-level-programming - Source code for 'Low-Level Programming' by Igor Zhirkov
sayon/low-level-programming - Source code for 'Low-Level Programming' by Igor Zhirkov
fcambus/spleen - Monospaced bitmap fonts
SeaRbSg/nand2tetris -
Bricktech2000/Atto-8 - A minimalist 8-bit microcomputer with stack-based microprocessor
yds12/x64-roadmap - A roadmap to learn x64 assembly using nasm on Linux.
roelandjansen/pcmos386v501 - PC-MOS/386 v5.01 and up, including cdrom driver sources.
rricharz/R65 - Code and emulator of my home built R65 computer, built around 1978
d4hines/low-level-programming - Practice problems etc. for Low-Level Programming by Igor Zhirkov
shimanauskas/avocado - A Forth for Linux and macOS on x86-64.
dlandahl/theos - The Operating System
ReturnInfinity/BareMetal - A very minimal, resource efficient exo-kernel
jdshaffer/Apple-Silicon-ASM-Examples - Simple examples of Assembly code for the Apple Silicon (M1) CPU
oriansj/stage0 - A set of minimal dependency bootstrap binaries
corkami/pics - File formats explanations, logos redrawing...
code-tutorials/assembly-intro - Intro to x86 Assembly Language.
skiselev/8088_bios - BIOS for Intel 8088 based computers
badlogic/asmcfg - An assembly control flow graph/basic block visualizer for the web
eivindbohler/tinyllama - A tiny x86 retro computer
adriancable/8086tiny - Official repository for 8086tiny: a tiny PC emulator/virtual machine
adamsmasher/sokobanDOS - A tutorial for 16-bit, x86 assembly language-based game programming
vxunderground/MalwareSourceCode - Collection of malware source code for a variety of platforms in an array of different programming languages.
vkorbes/vdos - V's notes on MS-DOS programming.
racerxdl/asm2web - Código usado na live de Assembly for Noobs!
pkivolowitz/asm_book - A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level langu
nanochess/bootBASIC - bootBASIC is a BASIC language in 512 bytes of x86 machine code.
nanochess/book8088 - Examples from my book Programming Boot Sector Games
mytechnotalent/Reverse-Engineering - A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit ARM & 64-bit ARM architectures.
hackclub/some-assembly-required - 📖 An approachable introduction to Assembly.
ghaiklor/nand-2-tetris - Computer built from the ground up on top of own CPU, while compiler and assembler for it implemented in Rust language
dspinellis/unix-history-repo - Continuous Unix commit history from 1970 until today
cirosantilli/x86-assembly-cheat - MOVED TO: https://cirosantilli.com/linux-kernel-module-cheat/userland-assembly with code at https://github.com/cirosantilli/linux-kernel-module-cheat/tree/master/userland/arch/x86_64 SEE README. x86 I
chrislgarry/Apollo-11 - Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
below/HelloSilicon - An introduction to ARM64 assembly on Apple Silicon Macs
NesHacker/DevEnvironmentDemo - A demo project for the tutorial section of the development enviornment episode.
640-KB/GLaBIOS - A modern, scratch-built, open-source (GPLv3) alternative ROM BIOS for PC, XT, 8088 Clone or Turbo PCs.
daniel-e/tetros - Tetris that fits into the boot sector.
kanaka/mal - mal - Make a Lisp

Astro

astro-community/icons - Radix Icons for Astro
kevinzunigacuellar/astro-satori - generate og images at build time with astro and satori
getbem/getbem.github.io - Get BEM to all people in simplest way
Charca/astro-records - Astro SPA Demo
fleekxyz/astro-template - Template for building sites in Astro and deploy them using Fleek
JLarky/astro-deno-template - How to run Astro on Deno and/or Deno Deploy
nexxeln/nexxel.dev - Boring personal site built with Astro
argyleink/morphull - Astro starter powered by MPA view transitions
bdsqqq/things - Things, not many, mostly libraries.
ElianCodes/brutal - A neobrutalism Astro starter theme
aarthificial/aarthificial.github.io - Source code for my website
michael-andreuzza/quickstore - A free and simple theme for Astro where you can embed your Gumroad or lemonsqueezy.
surjithctly/astroship - Astroship is a starter template for startups, marketing websites, landing pages & blog. Built with Astro & TailwindCSS
uzzii-21/astro-portfolio - This repo contains the source code for a personal portfolio website built with Astro, a framework for building fast and modern websites with your favorite frontend tools. The website showcases the dev
onwidget/astrowind - ⭕️ AstroWind: A free template using Astro 3.0 and Tailwind CSS. Astro starter theme.
withastro/houston.astro.build - Experimental AI assistant trained on the Astro docs
otoyo/astro-notion-blog - 🚀 Begin building your very own Notion Blog with Astro.
chrismwilliams/astro-theme-cactus - A simple Astro theme. Use it to create your blog or website.
BenRoe/awesome-mechanical-keyboard - ⌨️ A curated list of Open Source Mechanical Keyboard resources.

Awk

soimort/translate-shell - :speech_balloon: Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
TheMozg/awk-raycaster - Pseudo-3D shooter written completely in gawk using raycasting technique
djanderson/aho - A git implementation in awk

Batchfile

focus-editor/focus - A simple and fast text editor
ntdevlabs/tiny11builder - Scripts to build a trimmed-down Windows 11 image.

Bikeshed

gpuweb/gpuweb - Where the GPU for the Web work happens!
w3ctag/design-principles - A small-but-growing set of design principles collected by the TAG while reviewing specifications
patcg-individual-drafts/topics - The Topics API

Blade

openchatai/OpenChat - LLMs custom-chatbots console ⚡

C

adamdunkels/uip - The historical uIP sources
cozis/microtcp - A minimal TCP/IP stack
fincs/FeOS - Operating system for Nintendo DS
rxi/microui - A tiny immediate-mode UI library
jart/cosmopolitan - build-once run-anywhere c library
netdata/netdata - Monitor your servers, containers, and applications, in high-resolution and in real-time!
mit-pdos/xv6-riscv - Xv6 for RISC-V
oracle/bpftune - bpftune uses BPF to auto-tune Linux systems
trholding/llama2.c - Llama 2 Everywhere (L2E)
ziglang/zig-bootstrap - take off every zig
phillbush/jvm - simple java virtual machine
tsl0922/ttyd - Share your terminal over the web
unikraft/app-elfloader - Load and execute Linux ELF binaries
webmproject/libwebp - Mirror only. Please do not send pull requests.
orangeduck/tgc - A Tiny Garbage Collector for C
nlsandler/writing-a-c-compiler-tests - Test cases for Writing a C Compiler
gouravthakur39/beginners-C-program-examples - Simple, Short and Sweet beginners friendly C language programs
Electry/PSVshell - Yet another overclocking plugin
szhou42/osdev - Hobby os project with GUI
ffmpegwasm/ffmpeg.wasm - FFmpeg for browser, powered by WebAssembly
ksherlock/mpw - Macintosh Programmer's Workshop (mpw) compatibility layer
lakinduakash/linux-wifi-hotspot - Feature-rich wifi hotspot creator for Linux which provides both GUI and command-line interface. It is also able to create a hotspot using the same wifi card which is connected to an AP already ( Simil
jserv/unix-v1 - Restoration of 1st Edition UNIX kernel sources from Bell Laboratories
rui314/minilisp - A readable lisp in less than 1k lines of C
openKolibri/halo-90 - Earrings with a ring of light
Camilotk/16-bit-float - IEEE 754 implemented in C for 16bit floats
libfirm/cparser - C99 parser and frontend for libfirm
zrottman/data-structures - A data structures library in C
lindenb/makefile2graph - Creates a graph of dependencies from GNU-Make; Output is a graphiz-dot file or a Gexf-XML file.
pret/pokefirered - Decompilation of Pokémon FireRed/LeafGreen
pret/pokeemerald - Decompilation of Pokémon Emerald
qeaml/ddd - decide for me
y2kbugger/baremetal-riscv-renode -
lucavallin/barco - Linux containers from scratch in C.
HowProgrammingWorks/Node-API - Node-API (N-API)
bmc/daemonize - Command line utility to run a program as a Unix daemon
Kong/ngx_wasm_module - Nginx + WebAssembly
projectcain/Board-Firmware - Here's where I store available firmware for my boards
DoctorWkt/acwj - A Compiler Writing Journey
pms67/HadesFCS - Complete flight control system designed from scratch. Hardware designed with KiCad.
bartobri/no-more-secrets - A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
avaneev/lzav - Fast In-Memory Data Compression Algorithm (safe, inline C/C++) 460+MB/s compress, 2500+MB/s decompress, ratio better than LZ4
zsxh/build-a-simple-database-from-scratch -
jaymody/measure-cpu-cache-size - Empirically measuring CPU caches sizes using a simple C program.
libsdl-org/SDL_net - A simple, cross-platform wrapper over TCP/IP sockets.
shellphish/how2heap - A repository for learning various heap exploitation techniques.
isislovecruft/library-- - The papers and books I've read or am about to read.
ExistentialAudio/BlackHole - BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.
galkahana/HummusJS - Node.js module for high performance creation, modification and parsing of PDF files and streams
julianhille/MuhammaraJS - Muhammara a node module with c/cpp bindings to modify PDF with js for node or electron (based/replacement on/of galkhana/hummusjs)
GJakobi/archiver - Archiver similar to .zip, .tar, .7z
lowbyteproductions/bare-metal-series - Code for the "Bare Metal Series" videos
nsf/termbox - Library for writing text-based user interfaces
saghul/txiki.js - A tiny JavaScript runtime
Wren6991/RISCBoy - Portable games console, designed from scratch: CPU, graphics, PCB, and the kitchen sink
samdauwe/webgpu-native-examples - Collection of C-language examples that demonstrate basic rendering and computation in WebGPU native.
kaltura/nginx-srt-module - Nginx SRT/TCP gateway
SEL4PROJ/AOS - Advanced Operating Systems project
FeralInteractive/gamemode - Optimise Linux system performance on demand
lwindolf/liferea - Liferea (Linux Feed Reader), a news reader for GTK/GNOME
mnurzia/rv - 32-bit RISC-V CPU in ~600 lines of C89
shacron/sled - Sled System Emulator
ImageMagick/ImageMagick - 🧙‍♂️ ImageMagick 7
php/php-src - The PHP Interpreter
ish-app/ish - Linux shell for iOS
oblitum/Interception - The Interception API aims to build a portable programming interface that allows one to intercept and control a range of input devices.
AdAway/AdAway - AdAway is a free and open source ad blocker for Android.
ponylang/ponyc - Pony is an open-source, actor-model, capabilities-secure, high performance programming language
krisnova/tcpjack - TCP Instrumentation
datoviz/datoviz - ⚡ High-performance GPU interactive scientific data visualization with Vulkan
hwhw/kindlevncviewer - A VNC viewer for ebook readers
tursodatabase/libsql - libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
0intro/9hist - History of the Plan 9 kernel (1990 - 2003).
AdrianoDiDio/Medal-Of-Honor-PSX-File-Viewer - A set of tools to open and view files from the PSX games Medal Of Honor And Medal Of Honor:Underground.
DavidLeeds/event - Tiny epoll-based event loop library for event-driven Linux applications
let-def/texpresso - TeXpresso: live rendering and error reporting for LaTeX
ghaerr/blink16 - Tiny visual 8086 emulator based on Blink
lxe/wasm-gpt - Tensor library for machine learning
mpv-player/mpv - 🎥 Command line video player
Genymobile/scrcpy - Display and control your Android device
mkirchner/gc - Simple, zero-dependency garbage collection for C
riscv-software-src/opensbi - RISC-V Open Source Supervisor Binary Interface
pmret/papermario - Decompilation of Paper Mario
atrosinenko/qemujs - Qemu.js source code with proof-of-concept machine-code-to-WASM JIT.
nogw/typeclang - it's good friday, so why not implement some typeclasses in c?
tyfkda/xcc - Toy C compiler for x86-64/aarch64/wasm
flipperdevices/flipperzero-firmware - Flipper Zero firmware source code
cawfree/react-native-webassembly - ⚛️ 🏎 WebAssembly for React Native powered by JSI.
osandov/drgn - Programmable debugger
raysan5/raylib - A simple and easy-to-use library to enjoy videogames programming
ggerganov/llama.cpp - Port of Facebook's LLaMA model in C/C++
Xeeynamo/sotn-decomp - Decompilation of Castlevania: Symphony of the Night (PSX+Saturn)
amroibrahim/DIYQuake - An attempt to understand how Quake engine works
the-tcpdump-group/tcpdump - the TCPdump network dissector
RT-Thread-packages/netutils - IoT networking utilities for RT-Thread. Such as: ping, tftp, iperf, netio, ntp, telnet and tcpdump.
the-tcpdump-group/tcpslice - tcpslice concatenates multiple pcap files together, or extracts time slices from one or more pcap files.
o-oconnell/minixfromscratch - Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
palera1n/palera1n-c - palera1n written in C
oerg866/pciedit - Program to edit PCI Configuration Registers for MS-DOS and compatibles (e.g. FreeDOS)
jordansissel/xdotool - fake keyboard/mouse input, window management, and more
simonbs/TreeSitterLanguages - Languages for Tree-sitter wrapped in Swift packages
pbatard/rufus - The Reliable USB Formatting Utility
Cyan4973/xxHash - Extremely fast non-cryptographic hash algorithm
philburk/pforth - Portable Forth in C
felipeagc/tinyshader - Small, easy-to-integrate shader compiler written in C99. Compiles HLSL to SPIR-V
TadPath/PUMA - 3D Printed Microscope
Ratstail91/Toy - A toy programming language.
zecruel/CadZinho - Minimalist computer aided design (CAD) software
Hirrolot/datatype99 - Algebraic data types for C99
nfc-tools/libnfc - Platform independent Near Field Communication (NFC) library
TheOfficialFloW/Adrenaline - Custom Firmware 6.61 Adrenaline for the PSP Emulator
baskerville/bspwm - A tiling window manager based on binary space partitioning
snesrev/zelda3 -
tgjones/shader-playground - Shader playground website for exploring HLSL, GLSL, SPIR-V compilers
kohler/gifsicle - Create, manipulate, and optimize GIF images and animations
scandum/quadsort - Quadsort is a branchless stable adaptive mergesort faster than quicksort.
JadedTuna/apple-dictionary - Tools for extracting data from Apple dictionary files (used by the Dictionary application on Mac).
imbushuo/mac-precision-touchpad - Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad
felt-os/felt - The mighty 64-bit kernel
turbolent/w2c2 - Translates WebAssembly modules to portable C
jakehilborn/displayplacer - macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.
AndersKaloer/Ring-Buffer - A simple ring buffer (circular buffer) designed for embedded systems.
wasmerio/kernel-wasm - Sandboxed kernel mode WebAssembly runtime.
brutal-org/brutal - 🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
akirakyle/emacs-webkit - An Emacs Dynamic Module for WebKit, aka a fully fledged browser inside emacs
skeeto/u-config - a smaller, simpler, portable pkg-config clone
ghaerr/elks - Embeddable Linux Kernel Subset - Linux for 8086
bake-bake-bake/bakeware - Compile Elixir applications into single, easily distributed executable binaries
bullno1/ugc - A single-header incremental garbage collector library
barrust/bloom - Bloom filter implementation
rsms/llvmbox - Self contained, fully static llvm tools & libs
RodrigoDornelles/3bc-lang - Low-level language, tiny virtual machine, minimal runtime, intermediate representation, embeddable, easy for beginners. (Friendly Punched cards)
limine-bootloader/limine - Modern, advanced, portable, multiprotocol bootloader.
rsms/compis - Contemporary systems programming language in the spirit of C
mit-pdos/xv6-public - xv6 OS
pruten/shoebill - A Macintosh II emulator that runs A/UX
posva/catimg - 🦦 Insanely fast image printing in your terminal
LensPlaysGames/LensorCompilerCollection - A compiler we made just for fun :^)
fefa4ka/linked_ring - It's just in place replacement for ring buffer, but without taking up all that extra space for multiply buffers used by different producers-consumers.
nihui/opencv-mobile - The minimal opencv for Android, iOS, ARM Linux, Windows, Linux, MacOS, WebAssembly
curl/curl - A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, S
utah-cs4470-sp23/class - All course materials for CS 4470 (Spring 2023)
openwch/ch32v003 - CH32V003 is an ultra-cheap RISC-V MCU with 2KB SRAM, 16KB flash, and up to 18 GPIOs that sells for under $0.10
opencompl/C-parsing-for-Lean4 - A parser for ANSI C, in Lean4.
audacity/audacity - Audio Editor
lizrice/lb-from-scratch - A very basic eBPF Load Balancer in a few lines of C
ultrajson/ultrajson - Ultra fast JSON decoder and encoder written in C with Python bindings
maharmstone/quibble - Quibble - the custom Windows bootloader
nanobyte-dev/nanobyte_os - OS tutorial from Nanobyte YouTube channel.
sachinites/tcpip_stack - Implement your own TCP IP Stack
darktable-org/darktable - darktable is an open source photography workflow application and raw developer
graydon/rust-prehistory - historical archive of rust pre-publication development
willdurand/ArvernOS - :floppy_disk: A minimal, experimental and "toy" monolithic kernel to learn about OS development // Work In Progress
jart/blink - tiniest x86-64-linux emulator
jarun/nnn - n³ The unorthodox terminal file manager
koekeishiya/yabai - A tiling window manager for macOS based on binary space partitioning
cnlohr/rawdrawandroid - Build android apps without any java, entirely in C and Make
ohkimur/the-c-programming-language-2nd-edition-solutions - Solutions to the exercises in the book "The C Programming Language" (2nd edition) by Brian W. Kernighan and Dennis M. Ritchie. This book is also referred to as K&R.
TrungNguyen1909/qemu-t8030 - iPhone 11 emulated on QEMU
TheAlgorithms/C - Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
TASEmulators/desmume - DeSmuME is a Nintendo DS emulator
Stichting-MINIX-Research-Foundation/minix - Official MINIX sources - Automatically replicated from gerrit.minix3.org
SamyPesse/How-to-Make-a-Computer-Operating-System - How to Make a Computer Operating System in C++
Robert-van-Engelen/tinylisp - Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
yui0/catc - a simple tiny C Compiler using Lex & Yacc
xoreaxeaxeax/movfuscator - The single instruction C compiler
ventoy/Ventoy - A new bootable USB solution.
vegesm/c72 - The first C compiler ported to x86
trealla-prolog/trealla - A compact, efficient Prolog interpreter written in plain-old C.
torvalds/linux - Linux kernel source tree
thlorenz/learnuv - Learn uv for fun and profit, a self guided workshop to the library that powers Node.js.
srdja/Collections-C - A library of generic data structures.
skullchap/chadstr - Chad Strings - The Chad way to handle strings in C.
rui314/chibicc - A small C compiler
rui314/8cc - A Small C Compiler
richfelker/bakelite - Incremental backup with strong cryptographic confidentiality baked into the data model.
remzi-arpacidusseau/ostep-projects - Projects for an undergraduate OS course
radareorg/radare2 - UNIX-like reverse engineering framework and command-line toolset
racerxdl/linux-iobridge - Linux Modules for IO Loopback
philipl/pifs - πfs - the data-free filesystem!
ostreedev/ostree - Operating system and container binary deployment and upgrades
openwrt/openwrt - This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged
openssl/openssl - TLS/SSL and crypto library
naver/lispe - An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
mortdeus/legacy-cc - The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
lotabout/Let-s-build-a-compiler - A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw
lizrice/ebpf-networking - The Beginner's Guide to eBPF Programming for Networking
leandromoreira/ffmpeg-libav-tutorial - FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷
kspalaiologos/blc-mb - Binary Lambda Calculus evaluation engine written in Malbolge.
klange/toaruos - A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network st
kalpishs/Unix-Shell-Implementation-in-C - Simulate the Working of Command Line Interface in Unix-like Environment. Implemented Piping, redirection, history, environmen
jowinter/dmacu - Minimal CPU Emulator Powered by the ARM PL080 DMA Controller
jiacai2050/oh-my-github - Oh My GitHub is a delightful, open source tool for managing your GitHub repositories
jdah/jdh-8 - An 8-bit minicomputer with a fully custom architecture
jafarlihi/connmap - connmap is an X11 desktop widget that shows location of your current network peers on a world map
isometimes/rpi4-osdev - Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
h0mbre/Learning-C - A series of mini-projects used to learn C for beginners
gdevic/minix1 - Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
fragglet/yoctolisp - Tiny Scheme-like Lisp interpreter written in a weekend
enjoy-digital/litex - Build your hardware, easily!
emersion/mrsh - A minimal POSIX shell
corsix/amx - Apple AMX Instruction Set
containers/bubblewrap - Low-level unprivileged sandboxing tool used by Flatpak and similar projects
cfenollosa/os-tutorial - How to create an OS from scratch
cesanta/elk - A low footprint JavaScript engine for embedded systems
berghetti/netproc - tool to monitor network traffic based on processes
arthurmco/rainos - A hobby operating system, designed for old computers
araujo88/ultra-minimal-fast-rest-api - Ultra minimal and fast RESTful API written in C using Unix websockets, POSIX threads and SQLite database. Ideal for mock APIs in dev environment.
anthezium/CS510-Advanced-Topics-in-Concurrency - CS510 Advanced Topics in Concurrency Project
ahrm/sioyek - Sioyek is a PDF viewer with a focus on textbooks and research papers
MyOwnClone/quake_watch - Quake 1 game port to Apple Watch
Mic92/nix-ld - Run unpatched dynamic binaries on NixOS
Bulat-Ziganshin/Compression-Research - This repository contains my experiments with compression-related algorithms
B-Con/crypto-algorithms - Basic implementations of standard cryptography algorithms, like AES and SHA-1.
MQuy/mos - A hobby operating system developed from scratch
nmap/nmap - Nmap - the Network Mapper. Github mirror of official SVN repository.
wingo/walloc - A small malloc implementation, for use in WebAssembly
zeldaret/oot - Decompilation of The Legend of Zelda: Ocarina of Time
LauraBeatris/dotfiles - My baked portable .dotfiles 🥯
Robert-van-Engelen/lisp-cheney - A mini Lisp in 1k lines of C with Cheney's copying garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail re
Robert-van-Engelen/lisp - A mini Lisp in 1k lines of C with garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail recursion, exceptio
magit/emacsql - A high-level Emacs Lisp RDBMS front-end
koute/bytehound - A memory profiler for Linux.
libfuse/sshfs - A network filesystem client to connect to SSH servers
freeciv/freeciv - Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and submit
spencertipping/jit-tutorial - How to write a very simple JIT compiler
haileys/doslinux - Run Linux programs on DOS
tmux/tmux - tmux source code
pbalduino/menios - meniOS is an operating system project written from scratch for fun
cstack/db_tutorial - Writing a sqlite clone from scratch in C

C#

bitgardens/bitgarden -
tModLoader/tModLoader - A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
microsoft/semantic-kernel - Integrate cutting-edge LLM technology quickly and easily into your apps
Readarr/Readarr - Book Manager and Automation (Sonarr for Ebooks)
misprit7/WireHead - A Terrarria mod that reimplements the wiring system much more efficiently
files-community/Files - Building the best file manager for Windows
Ryujinx/Ryujinx - Experimental Nintendo Switch Emulator written in C#
tuliocll/post-thumb-generator - Gerador de imagem para posts
ppy/osu - rhythm is just a click away!
retropassdev/RetroPass - Retro Pass is a simple frontend for emulators running on Xbox.
0x7c13/Notepads - A modern, lightweight text editor with a minimalist design.
ravendb/ravendb - ACID Document Database
SebLague/Digital-Logic-Sim -
bitwarden/server - The core infrastructure backend (API, database, Docker, etc).
p-org/P - The P programming language.
LazoCoder/Windows-Hacks - Creative and unusual things that can be done with the Windows API.
Xyene/Emulator.NES - 📺 Nintendo Entertainment System emulator written in C#.

C++

nmslib/hnswlib - Header-only C++/python library for fast approximate nearest neighbors
typesense/hnswlib - Header-only C++/python library for fast approximate nearest neighbors
endless-sky/endless-sky - Space exploration, trading, and combat game.
trzy/llava-cpp-server - LLaVA server (llama.cpp).
f3d-app/f3d - Fast and minimalist 3D viewer.
strato-emu/strato - Run Nintendo Switch homebrew & games on your Android device!
xournalpp/xournalpp - Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from
ClickHouse/ClickHouse - ClickHouse® is a free analytics DBMS for big data
storax/kubedoom - Kill Kubernetes pods by playing Id's DOOM!
flipperdevices/qFlipper - qFlipper — desktop application for updating Flipper Zero firmware via PC
FrenkelS/Doom8088 - Doom for 16-bit DOS computers
entria/node-printer - node-printer fork
orosmatthew/hydrogen-cpp - A hobby programming language 🔥
boksajak/brdf - Code sample accompanying the article "Crash Course in BRDF Implementation"
meoowers/pgsql - 🧮 | PostgreSQL lib for Lean4
ThePhD/a_c_compiler - A C compiler. ... That's it.
davepoo/6502Emulator - Learning how a CPU works by emulating one
Sinclairq/tp-emulator - A basic 100 loc CPU emulator using the existing code of ntoskrnl.exe
OpenVicProject/OpenVic-Simulation -
bloomberg/blazingmq - A modern high-performance open source message queuing system
mairacanal/p-compiler - Lexical and sintatic analysis for a Pascal-based language
mrousavy/react-native-blob-jsi-helper - A React Native library for accessing an ArrayBuffer of a Blob instance.
RPCS3/rpcs3 - PS3 emulator/debugger
Mknsri/HockeySlam - A hockey shootout game with a custom game engine developed on Windows and released on Android
aappleby/matcheroni - A minimalist single-header library for building pattern-matchers, lexers, and parsers.
SMGCommunity/Petari - Super Mario Galaxy 1 decompilation.
trailofbits/mishegos - A differential fuzzer for x86 decoders
tesseract-ocr/tesseract - Tesseract Open Source OCR Engine (main repository)
josevcm/nfc-laboratory - NFC signal and protocol analyzer using SDR receiver
nix-community/nixd - Nix language server, based on nix libraries [maintainer=@inclyc]
PoseLib/PoseLib - Minimal solvers for calibrated camera pose estimation
arximboldi/immer - Postmodern immutable and persistent data structures for C++ — value semantics at scale
microsoft/v8-jsi - React Native V8 JSI adapter
Stremio/stremio-shell - 🐚 Qt5-based shell for Stremio; compile this to run the desktop app
godotengine/godot - Godot Engine – Multi-platform 2D and 3D game engine
microsoft/node-api-jsi - Implementation of JSI for Node-API
steveicarus/iverilog - Icarus Verilog
zodiacon/windowskernelprogrammingbook - The Windows Kernel Programming book samples
exaloop/codon - A high-performance, zero-overhead, extensible Python compiler using LLVM
PCSX2/pcsx2 - PCSX2 - The Playstation 2 Emulator
nghttp2/nghttp2 - nghttp2 - HTTP/2 C Library and tools
microsoft/DirectX-Graphics-Samples - This repo contains the DirectX Graphics samples that demonstrate how to build graphics intensive applications on Windows.
nomic-ai/gpt4all - gpt4all: open-source LLM chatbots that you can run anywhere
o0x-0o/rt-1-weekend - Single-threaded CPU-based Raytracer. A lot of terrible code here, I'm currently working in refactoring. Made just for fun. :p
tree-sitter/node-tree-sitter - Node.js bindings for tree-sitter
MorcilloSanz/RendererGL - Simple 3D renderer in C++ and OpenGL with lighting, shadows and materials
firebuild/firebuild - Automatic build accelerator cache for Linux
mmacklin/tinsel - Lightweight CPU/GPU path tracer
organicmaps/organicmaps - 🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) founde
facebook/yoga - Yoga is a cross-platform layout engine which implements Flexbox. Follow https://twitter.com/yogalayout for updates.
ShoYamanishi/AppleNumericalComputing - Study and Implementations of Numerical Algorithms on Apple M1 and A* Devices
Overv/vramfs - VRAM based file system for Linux
x64dbg/TitanEngine - TitanEngine Community Edition. Debug engine used by x64dbg.
tdv/nanorpc - nanorpc - lightweight RPC in pure C++ 17
facebook/hermes - A JavaScript engine optimized for running React Native.
google/fully-homomorphic-encryption - An FHE compiler for C++
ada-url/idna - C++ library implementing the to_ascii and to_unicode functions from the Unicode Technical Standard.
ada-url/ada - WHATWG-compliant and fast URL parser written in modern C++
zeldaret/botw - Decompilation of The Legend of Zelda: Breath of the Wild (Switch 1.5.0)
fish-shell/fish-shell - The user-friendly command line shell.
g-truc/glm - OpenGL Mathematics (GLM)
hyprwm/Hyprland - Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
mikeroyal/Game-Console-Dev-Guide - Game Console Dev Guide. Learn to develop games for Xbox Series X|S, PlayStation 5, Nintendo Switch, Steam Deck, and Apple Silicon. Developing with Unreal Engine 5, Unity, Godot Engine, and Blender.
Xingtao/FFdynamic - Library with dynamic audio/video composition and runtime control
skyline-emu/skyline - Run Nintendo Switch homebrew & games on your Android device!
Michal-Szczepaniak/measurements - This software does and averages measurements + spits out Impulse response
zserge/fenster - The most minimal cross-platform GUI library
schulkinator/memorymanager - A simple, thread-safe memory manager for 64bit C++ applications and games. Focus is on preventing heap fragmentation in the absence of good virtual memory management, at the cost of wasting some memor
relativty/Relativty - An open source VR headset with SteamVR supports for $200
mbasso/asm-dom - A minimal WebAssembly virtual DOM to build C++ SPA (Single page applications)
bluewhalesystems/sold - The sold linker
tidalcycles/Tidal - Pattern language
0ad/0ad - Git mirror of the 0 A.D. source code (http://trac.wildfiregames.com/browser)
simon-hrabec/Algolab-2020 - Solutions for problems given in ETH course Algorithms Lab in Fall 2020
mtheall/ftpd - FTP Server for 3DS/Switch
ambrosiogabe/MathAnimation - A simple C++/OpenGL application to create quick and dirty mathematically accurate animations
margelo/react-native-worklets-core - 🧵 A Worklet runner for React Native.
SophistSolutions/WhyTheFuckIsMyNetworkSoSlow - WhyTheFuckIsMyNetworkSoSlow is a network performance analysis tool, making it easy to quickly examine a network and see what is wrong, and to evaluate longer term trends.
SerenityOS/serenity - The Serenity Operating System 🐞
musescore/MuseScore - MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
stenzek/duckstation - Fast PlayStation 1 emulator for x86-64/AArch32/AArch64/RV64
pqrs-org/Karabiner-Elements - Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.
Dwarf-Therapist/Dwarf-Therapist - Dwarf management tool for Dwarf Fortress
ErickWendel/myownnode - Bun? Deno? Node.js? Creating your own JavaScript Runtime using V8, Libuv and more
microsoft/GW-BASIC - The original source code of Microsoft GW-BASIC from 1983
aristocratos/btop - A monitor of resources
xtaci/algorithms - Algorithms & Data structures in C++.
toitlang/toit - Program your microcontrollers in a fast and robust high-level language.
scylladb/seastar - High performance server-side application framework
scratchnative/scratchOS - Basic operating system written in Scratch3
rui314/mold - Mold: A Modern Linker 🦠
qyang-nj/llios - Random stuff about lower level iOS
mrousavy/react-native-multithreading - 🧵 Fast and easy multithreading for React Native using JSI
mrousavy/react-native-mmkv - ⚡️ The fastest key/value storage for React Native. ~30x faster than AsyncStorage!
mandliya/algorithms_and_data_structures - 180+ Algorithm & Data Structure Problems using C++
ledger/ledger - Double-entry accounting system with a command-line reporting interface
leanprover-community/lean - Lean Theorem Prover
keepassxreboot/keepassxc - KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
imteekay/algorithms - Algorithms & Data Structures & Computer Science studies
diasurgical/devilutionX - Diablo build for modern operating systems
cemu-project/Cemu - Cemu - Wii U emulator
anbox/anbox - Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system
aesophor/valkyrie - 🔮 A UNIX-like toy kernel built from scratch (for AArch64) with preemptive multi-threading, VM, CoW fork(), buddy, slob, VFS, FAT32.
ReciHub/FunnyAlgorithms - A repository with a bunch of funny algorithms, beginners friendly
PolyMC/PolyMC - A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)
OpenRCT2/OpenRCT2 - An open source re-implementation of RollerCoaster Tycoon 2 🎢
OpenMW/openmw - OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/
NixOS/nix - Nix, the purely functional package manager
FreeCAD/FreeCAD - This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
DeveloperPaul123/thread-pool - A modern, fast, lightweight thread pool library based on C++20
CytopiaTeam/Cytopia - :deciduous_tree::house_with_garden::office::evergreen_tree: A city building simulation game
CleverRaven/Cataclysm-DDA - Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
nuttyartist/notes - Fast and beautiful note-taking app written in C++. Write down your thoughts.
hsutter/cppfront - A personal experimental C++ Syntax 2 -> Syntax 1 compiler
rousse101/tricks-of-the-3d-game-programming-gurus - Automatically exported from code.google.com/p/tricks-of-the-3d-game-programming-gurus
danbev/learning-v8 - Project for learning V8 internals
WerWolv/ImHex - 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
nasa/fprime - F' - A flight software and embedded systems framework
topjohnwu/Magisk - The Magic Mask for Android

CMake

friendlyanon/cmake-init - The missing CMake project initializer

COBOL

azac/cobol-on-wheelchair - Micro web-framework for COBOL
BluAge/ServerlessCOBOLforAWS - Documentation, samples and VSCode plugin for the Serverless COBOL for AWS solution from BluAge
openmainframeproject/cobol-programming-course - Training materials and labs for a "Getting Started" level course on COBOL
cloudflare/cobweb - COBOL to WebAssembly compiler

CSS

davidgasquez/handbook - 📚 Personal bits of knowledge.
sourcegraph/codesearchguide.org - Everything you ever wanted to know about code search. (WIP, will be online soon!)
jdan/98.css - A design system for building faithful recreations of old UIs
srid/leptos-nix-template - Leptos template using Axum+Tailwind+Nix.
rust-lang/nomicon - The Dark Arts of Advanced and Unsafe Rust Programming
owl4ce/dotfiles - :cherry_blossom: Aesthetic OpenboxWM Environment
Stetsed/.dotfiles - My dotfiles repository
cloudflare/cloudflare-docs - Cloudflare’s documentation
huozhi/metadata-og-test-demo -
jensimmons/cssremedy - Start your project with a remedy for the technical debt of CSS.
cocktailpeanut/dalai - The simplest way to run LLaMA on your local machine
xfbs/diff.rs - Web application (WASM) to render a diff between Rust crate versions.
martinkr/next-export-i18n-example - Example project for next-export-i18n
catppuccin/mdBook - 🎊 Soothing pastel theme for mdBook
replete/obsidian-minimal-theme-css-snippets - Obsidian CSS snippets to tweak UI and harmonize various plugins with the Minimal Theme - for fellow hackers.
h01000110/windows-95 - Jekyll Theme
rknightuk/mac-30-font-svg - Mac 30th Anniversary Icon SVGs
insanum/obsidian_gruvbox - A gruvbox theme for Obsidian
brokenhandsio/are-we-server-yet - Are we server yet? A simple reckoning of Swift’s readiness for Server-related things. Inspired by arewewebyet.org
Rainbell129/Obsidian-Homepage - A dashboard for your obsidian vault.
bigskysoftware/missing - The classless-ish CSS library you've been missing
reworkcss/css - CSS parser / stringifier for Node.js
nakov/Practical-Cryptography-for-Developers-Book - Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatu
WebComponentsGuide/webcomponents.guide - Supercharge your Web Platform knowledge
kmaasrud/awesome-obsidian - 🕶️ Awesome stuff for Obsidian
fniessen/org-html-themes - Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design
stolksdorf/homebrewery - Create authentic looking D&D homebrews using only markdown
rougier/emacs-gtd - Get Things Done with Emacs
missing-semester/missing-semester - The Missing Semester of Your CS Education 📚
lethain/staff-eng - Collection of stories of how folks have reached Staff-plus roles in technology.
justdeleteme/justdelete.me - A directory of direct links to delete your account from web services.
json-api/json-api - A specification for building JSON APIs
jagregory/abrash-zen-of-asm - Markdown source for Michael Abrash's Zen of Assembly Language (1990)
ianthehenry/ocamlsyntax.com - How do you do that recursive GADT thing again?
data-engineering-community/data-engineering-wiki - The best place to learn data engineering. Built and maintained by the data engineering community.
steshaw/plt - Programming Language Theory λΠ

Clojure

krisajenkins/yesql - A Clojure library for using SQL.
jepsen-io/maelstrom - A workbench for writing toy implementations of distributed systems.
hyperfiddle/electric - a reactive Clojure dialect for web development that uses a compiler to infer the frontend/backend boundary
hoophq/sequence - Immutable, scalable, and easy to use ledger service.
igrishaev/remus - Attentive RSS/Atom feed parser for Clojure
xtdb/xtdb - Bitemporal and dynamic relational database for SQL and Datalog. Developed by @juxt
quil/quil - Main repo. Quil source code.
nasa/Common-Metadata-Repository -
eerohele/tab - A tool for tabulating Clojure collections.
Datomic/day-of-datomic - Sample Code for Day of Datomic presentation
tonsky/FiraCode - Free monospaced font with programming ligatures
penpot/penpot - Penpot - The Open-Source design & prototyping platform
logseq/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
latte-central/LaTTe - LaTTe : a Laboratory for Type Theory experiments (in clojure)
imteekay/functional-programming-learning-path - A Learning Path for Functional Programming
imteekay/programming-language-research - Programming Language Research, Applied PLT & Compilers
arrterian/nix-env-selector - Allows switch environment for Visual Studio Code using Nix Package Manager.

CodeQL

github/codeql - CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
github/vscode-codeql-starter - Starter workspace to use with the CodeQL extension for Visual Studio Code.

CoffeeScript

node-cache/node-cache - a node internal (in-memory) caching module

Common Lisp

froggey/Mezzano - An operating system written in Common Lisp
arathnim/parmesan - simple parser combinators for Common Lisp
melisgl/mgl - Common Lisp machine learning library.
Shinmera/binary-structures - A library for reading, writing, and representing structures from binary storage
coleslaw-org/coleslaw - Flexible Lisp Blogware
Interlisp/medley - The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)
Shirakumo/kandria - A post-apocalyptic actionRPG. Now on Steam!
vindarel/common-lisp-course-in-videos - Learn Lisp effectively and become a happy programmer :)
adamtornhill/LispForTheWeb - Source code to my Common Lisp web development tutorial
reddit-archive/reddit1.0 -
norvig/paip-lisp - Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
inconvergent/weird - Generative art in Common Lisp
atlas-engineer/nyxt - Nyxt - the hacker's browser.
woodrush/lambdavm - A programmable virtual CPU written in untyped lambda calculus
woodrush/lambda-8cc - x86 C compiler written in untyped lambda calculus
susam/mathb - Share mathematics on the web with LaTeX and Markdown
woodrush/lambdalisp - A Lisp interpreter written in untyped lambda calculus

Coq

mmcco/verified-parser-example - A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
MetaCoq/metacoq - Metaprogramming in Coq
coq-community/metaprogramming-rosetta-stone - A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
tlringer/proof-chat-fun - playing with gpt4
math-comp/multinomials - Multinomials for the Mathematical Components library.
GeoCoq/GeoCoq - A formalization of geometry in Coq based on Tarski's axiom system
logsem/clutch - A probabilistic relational separation logic with support for asynchronous couplings.
Lysxia/coq-ceres - Coq library for serialization to S-expressions
liyishuai/coq-http - HTTP specification in Coq, testable and verifiable
UniMath/TypeTheory - The mathematical study of type theories, in univalent foundations
thery/hanoi - Hanoi tower in Coq
tchajed/iris-simp-lang - We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
stepchowfun/proofs - My personal repository of formally verified mathematics.
samuelgruetter/dot-calculus - Formalization of the Dependent Object Types (DOT) calculus
mcopes73/FTA - Complete formalization of the Fundamental Theorem of Arithmetic in Coq and Isabelle/HOL.
math-comp/analysis - Mathematical Components compliant Analysis Library
math-comp/algebra-tactics - Ring, field, lra, nra, and psatz tactics for Mathematical Components
jwiegley/category-theory - An axiom-free formalization of category theory in Coq for personal study and practical work
fersilva16/sf - Software Foundations
dhilst/coqstudy - Coq studying
choukh/Set-Theory - A formalization of the textbook Elements of Set Theory
AbsInt/CompCert - The CompCert formally-verified C compiler
mattam82/Coq-Equations - A function definition package for Coq

Cuda

HigherOrderCO/hvm-core -
BBuf/how-to-optim-algorithm-in-cuda - how to optimize some algorithm in cuda.
brucefan1983/CUDA-Programming - Sample codes for my CUDA programming book

Curry

curry-packages/pflp - Probabilistic Functional Logic Programming
mihanus/recipes - Implementation of a recipe database with a web-based interface implemented in Curry

D

fabinzne/lambdad - SImple implementation of lambda calculus (tks Chiyoku)
tsoding/turd - Turing Machine in D
racerxdl/DOS - D Operating System - Just because HUEBR

Dart

atsign-foundation/sshnoports - SSH to any device with no ports open
MaximeBeasse/KeyDecoder - KeyDecoder app lets you use your smartphone or tablet to decode your mechanical keys in seconds.
renancaraujo/watchsteroids - The open source version of an Asteroids-ish game made for WearOS using the Flame Engine and Flutter.
isar/isar - Extremely fast, easy to use, and fully async NoSQL database for Flutter
AppFlowy-IO/AppFlowy - AppFlowy is an open-source alternative to Notion. You are in charge of your data and customizations. Built with Flutter and Rust.

Dockerfile

Websoft9test/docker-opencart - Docker Compose to deploy OpenCart in production
mauricioabreu/dynamic-upstream-learning - Playing with NGINX lua balancing features
alblue/dnsmasq-example - Example setup for using dnsmasq
commercialhaskell/stackage - Stable Haskell package sets: vetted consistent packages from Hackage
mikeroyal/Self-Hosting-Guide - Self-Hosting Guide. Learn all about locally hosting (on premises & private web servers) and managing software applications by yourself or your organization. Including Cloud, LLMs, WireGuard, Automati
goldbergyoni/nodebestpractices - :white_check_mark: The Node.js best practices list (July 2023)
geerlingguy/reversi - Reverse home Internet monitoring app.

EJS

Fechin/reference - ⭕ Share quick reference cheat sheet for developers.

Elixir

igorfelipeduca/understanding-algorithms -
absinthe-graphql/dataloader - DataLoader for Elixir
witchcrafters/algae - Bootstrapped algebraic data types for Elixir
pepicrft/pepicrft.me - 🐣 Personal website powered by Phoenix (pepicrft.me)
christhekeele/alea - An RPG dice engine and notation language for Elixir.
brunojppb/turbo-racer - High-performance distributed remote cache for Turborepo.
electric-sql/electric - Local-first sync layer for web and mobile apps. Build reactive, realtime, local-first apps directly on Postgres.
bitwalker/combine - A parser combinator library for Elixir projects
elixir-wallaby/wallaby - Concurrent browser tests for your Elixir web apps.
visciang/telegram - Telegram library for the Elixir language
thechangelog/changelog.com - Changelog is news and podcast for developers. This is our open source platform.
podium/elixir-secure-coding - An interactive cybersecurity curriculum designed for enterprise use at software companies using Elixir
lucasvegi/Elixir-Code-Smells - Catalog of Elixir-specific code smells
h4cc/awesome-elixir - A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
fly-apps/tictac - Demonstration of building a clustered, distributed, multi-player, turn-based game server written in Elixir.
elixir-lang/elixir - Elixir is a dynamic, functional language for building scalable and maintainable applications
elixir-ecto/ecto - A toolkit for data mapping and language integrated query.
dwyl/learn-phoenix-framework - :fire: Phoenix is the web framework without compromise on speed, reliability or maintainability! Don't settle for less. :rocket:
Qqwy/elixir-type_check - TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Elm

abarichello/cp-swf - Interactive archive of Club Penguin SWFs by year
roovo/obsidian-card-board - An Obsidian plugin to make working with tasks a pleasure (hopefully anyway).
elm-time/elm-time - Cross-platform runtime environment for the Elm programming language.

Emacs Lisp

nemethf/eglot-x - Protocol extensions for Eglot
arbox/org-sync - Issue Tracking Synchronization for Emacs Org-mode.
manateelazycat/blink-search - In the blink of an eye, the search is complete
ml729/calfw-blocks - Visual enhancements for the Emacs Calendar Framework (calfw)
lanjoni/crymacs - Crystal Emacs helper
rememberYou/.emacs.d - 🎉 Personal GNU Emacs configuration
progfolio/.emacs.d - Emacs literate config
dangom/org-thesis - Writing a Ph.D. thesis with Org Mode
isamert/empv.el - An Emacs media player, media library manager, radio player, YouTube frontend
fritzgrabo/elfeed-webkit - Emacs: Render elfeed entries in embedded webkit widgets
pashky/restclient.el - HTTP REST client tool for emacs
positron-solutions/champagne - Countdown timer for bubbly events
tumashu/vertico-posframe -
xenodium/dotsies - Dot files, Emacs config, etc
konrad1977/welcome-dashboard - A minimalistic dashboard for Emacs.
cofi/evil-leader - <leader> key for evil
brotzeit/rustic - Rust development environment for Emacs
magit/magit - It's Magit! A Git Porcelain inside Emacs.
fuxialexander/org-pdftools - A custom org link type for pdf-tools
susam/devil - Emacs minor mode that intercepts and translates keystrokes to provide a modifier-free non-modal editing experience
amno1/.emacs.d - My current Emacs setup.
thiagokokada/doomemacs-nix - [PoC] doomemacs packaged for Nix, alternative approach
minad/osm - :earth_africa: osm.el - OpenStreetMap viewer for Emacs
SqrtMinusOne/dotfiles - This road is never-ending
iwahbe/chat.el - An Emacs facade for ChatGPT
dmacvicar/site.org - Website in org mode
Artawower/blamer.el - A git blame plugin for emacs inspired by VS Code's GitLens plugin
ahyatt/ekg - The emacs knowledge graph, app for notes and structured data.
rnml/shell-file-mode - A way to maintain and run blocks of shell scripts from within emacs.
yilkalargaw/org-auto-tangle - a simple emacs package to allow org file tangling upon save
mickeynp/combobulate - Structured Editing and Navigation in Emacs
wowhxj/emacs-from-scratch - 面向产品经理的Emacs系列教程配套配置文件
emacs-compat/compat - COMPATibility Library for Emacs Lisp
fxbois/web-mode - web template editing mode for emacs
kaushalmodi/.emacs.d - My emacs configuration
kunalb/poet - An emacs theme that's well suited for modes using variable pitch: particularly org-mode and markdown-mode.
casouri/eldoc-box - childframe doc for eglot and anything that uses eldoc
pprevos/citar-denote - Emacs package to create and retrieve bibliography notes with the Citar and Denote packages.
TonCherAmi/org-padding - Padding for org-mode.
jinnovation/kele.el - 🥤 Spritzy Kubernetes cluster management for Emacs
noctuid/lispyville - lispy + evil = lispyville
dengste/minimap - Sidebar showing a "mini-map" of a buffer
orzechowskid/duomacs - dan's usability-oriented Emacs config files
howardabrams/dot-files - My Emacs initialization code and standard scripts I use for client and servers alike.
antonj/Highlight-Indentation-for-Emacs - Minor modes to highlight indentation guides in emacs.
protesilaos/dotfiles - [Mirror] Configuration files for Emacs and some other programs. Running on Arch Linux. Managed with GNU Stow.
cyrus-and/zoom - Fixed and automatic balanced window layout for Emacs
bastibe/org-static-blog - A static site generator using org-mode
minad/affe - :monkey: affe.el - Asynchronous Fuzzy Finder for Emacs
sunnyhasija/Academic-Doom-Emacs-Config - My doom emacs configuration files
jwiegley/dot-emacs - My .emacs.el file and other personal Emacs goodies
celsobonutti/macos-dotfiles - my dotfiles for mac~
pprevos/denote-explore - Helper functions to analyse a collection of notes created with the Denote package.
abo-abo/oremacs - My Emacs config
abo-abo/org-download - Drag and drop images to Emacs org-mode
aaronbieber/dotfiles - The skeleton of my wonderful *NIX home folders and scripts.
a-schaefers/systemE - 🤣 A lightweight systemd replacement written in Emacs lisp 🤣
Wilfred/deadgrep - fast, friendly searching with ripgrep and Emacs
Wilfred/elisp-refs - semantic code search for emacs lisp
viglioni/lauremacs - My new emacs configuration (wip!!)
Vidianos-Giannitsis/zetteldesk.el - Zetteldesk.el is an emacs library built on top of org-roam with the purpose of easier revision on various subjects and a better outliner tool for emacs
TheBB/spaceline - Powerline theme from Spacemacs
SqrtMinusOne/pomm.el - Implementation of Pomodoro and Third Time techniques for Emacs
SqrtMinusOne/elfeed-summary - Feed summary interface for elfeed
Silex/docker.el - Manage docker from Emacs.
zzamboni/dot-doom - My Doom Emacs config files. Mirrored from https://gitlab.com/zzamboni/dot-doom
zoedsoupe/aqua - Personal configs for a handcrafted emacs
zevlg/telega.el - GNU Emacs telegram client (unofficial)
zerolfx/copilot.el - An unofficial Copilot plugin for Emacs.
xuchunyang/gitter.el - An Emacs Gitter client
willcrichton/dotfiles - My emacs configuration
waymondo/apropospriate-theme - A colorful, low-contrast, light & dark theme set for Emacs with a fun name
wandersoncferreira/code-review - Code Reviews in Emacs
twlz0ne/separedit.el - Edit comment or string/docstring or code block inside them in separate buffer with your favorite mode
turboMaCk/Dotfiles - my dotfiles
tumashu/posframe - Pop a posframe (just a child-frame) at point, posframe is a GNU ELPA package!
tumashu/ivy-posframe - ivy-posframe is a ivy extension, which let ivy use posframe to show its candidate menu, ivy-posframe is a GNU ELPA package.
travisbhartwell/nix-emacs - A set of useful Emacs modes and functions for users of Nix and Nix OS.
toshism/dotfiles - My configuration files
tonyaldon/org-bars - org-bars-mode is a minor mode for org-mode. It adds bars to the virtual indentation provided by the built-in package org-indent.
tonini/alchemist.el - Elixir Tooling Integration Into Emacs
tomekw/doom-parents - A set of Doom Emacs mappings for manipulating parentheses and sexps
the-ted/org-mind-map - This is an emacs package that creates graphviz directed graphs.
tecosaur/engrave-faces - Mirror of https://git.tecosaur.net/tec/engrave-faces
tecosaur/org-glossary - Mirror of https://git.tecosaur.net/tec/org-glossary
tecosaur/emacs-everywhere - Mirror of https://git.tecosaur.net/tec/emacs-everywhere
tarsius/hl-todo - Highlight TODO keywords
tarsius/keycast - Show current command and its key in the mode line
takaxp/org-tree-slide - A presentation tool for org-mode based on the visibility of outline trees
syl20bnr/spacemacs - A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs and Vim!
susam/emfy - A dark and sleek Emacs setup for general purpose editing and programming
suonlight/multi-vterm - Managing multiple vterm buffers in Emacs
smihica/emmet-mode - emmet's support for emacs.
skeeto/elfeed - An Emacs web feeds client
sachac/waveform-el - Display a waveform and use it to navigate
sabof/org-bullets - utf-8 bullets for org-mode
rougier/elegant-emacs - A very minimal but elegant emacs (I think)
rougier/nano-modeline - GNU Emacs / N Λ N O Modeline
rougier/nano-theme - GNU Emacs / N Λ N O Theme
rougier/notebook-mode - GNU Emacs notebook mode
rolandwalker/fixmee - Quickly navigate to FIXME notices in Emacs
rolandwalker/nav-flash - Briefly highlight the current line in Emacs
rnkn/olivetti - Emacs minor mode to automatically balance window margins
rlister/org-present - Ultra-minimalist presentation minor-mode for Emacs org-mode.
rexim/org-cliplink - Insert org-mode links from clipboard
remyhonig/elfeed-org - Configure the Elfeed RSS reader with an Orgmode file
remacs/remacs - Rust :heart: Emacs
rejeep/prodigy.el - Manage external services from within Emacs
redguardtoo/evil-nerd-commenter - Comment/uncomment lines efficiently. Like Nerd Commenter in Vim
radian-software/apheleia - 🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.
radian-software/straight.el - 🍀 Next-generation, purely functional package manager for the Emacs hacker.
radian-software/blackout - 💡 The easy way to clean up your Emacs mode lighters.
quelpa/quelpa-use-package - Emacs quelpa handler for use-package
quelpa/quelpa - Build and install your Emacs Lisp packages on-the-fly directly from source
purcell/emacs.d - An Emacs configuration bundle with batteries included
progfolio/doct - DOCT: Declarative Org Capture Templates for Emacs
pprevos/emacs-writing-studio - Emacs configuration for authors who research, write and publish articles, books and websites.
plexus/chemacs2 - Emacs version switcher, improved
pierre-rouleau/pel - Pragmatic Emacs Library
pashinin/workgroups2 - Workgroups2 - Emacs session manager
orzechowskid/tsx-mode.el - a batteries-included Emacs major mode for Typescript, Javascript, TSX, and JSX files
orzechowskid/tsi.el - treesitter-based indendentation for emacs 28 and 27
org-roam/org-roam - Rudimentary Roam replica with Org-mode
org-mime/org-mime - org-mime can be used to send HTML email using Org-mode HTML export.
novoid/dot-emacs - My GNU/Emacs configuration
nobiot/org-remark - Highlight and annotate text file and websites
ocaml/tuareg - Emacs OCaml mode
ogdenwebb/emacs-kaolin-themes - Set of eye pleasing themes for GNU Emacs. Supports both GUI and terminal.
oantolin/embark - Emacs Mini-Buffer Actions Rooted in Keymaps
oantolin/emacs-config - My personal Emacs configuration
noctuid/general.el - More convenient key definitions in emacs
nobiot/md-roam - Use Org-roam with markdown files by adding Md-roam as a plug-in. Mix org and markdown files in a single Org-roam database.
nobiot/org-transclusion - Emacs package to enable transclusion with Org Mode
ndwarshuis/org-ml - (formerly om.el) A functional library for org-mode
nex3/perspective-el - Perspectives for Emacs.
misohena/el-easydraw - Embedded drawing tool for Emacs
melpa/melpa - Recipes and build machinery for the biggest Emacs package repo
minad/tempel - :classical_building: TempEl - Simple templates for Emacs
minad/org-modern - :unicorn: Modern Org Style
meow-edit/meow - Yet another modal editing on Emacs / 猫态编辑
mooz/js2-mode - Improved JavaScript editing mode for GNU Emacs
myuhe/org-gcal.el - Org sync with Google Calendar
mpwang/perfect-margin - [emacs] auto center emacs windows, work with minimap and/or linum-mode
mclear-tools/bespoke-themes - A simple custom theme for emacs
mclear-tools/bespoke-modeline - A simple custom modeline
minad/vertico - :dizzy: vertico.el - VERTical Interactive COmpletion
md-arif-shaikh/expenses - Recording and viewing expenses using Emacs
mclear-tools/consult-notes - Use consult to search notes
minad/cape - 🦸cape.el - Completion At Point Extensions
minad/corfu - :desert_island: corfu.el - COmpletion in Region FUnction
mclear-tools/tabspaces -
magnars/expand-region.el - Emacs extension to increase selected region by semantic units.
manateelazycat/lsp-bridge - A blazingly fast LSP client for Emacs
magnars/multiple-cursors.el - Multiple cursors for emacs.
magit/transient - Transient commands
manateelazycat/aweshell - Awesome shell extension base on eshell with wonderful features!
marcinkoziej/org-pomodoro - pomodoro technique for org-mode
magnars/dash.el - A modern list library for Emacs
magit/ghub - Client libraries for the APIs of various Git forges
magit/orgit - Support for Org links to Magit buffers
magit/with-editor - Use the Emacsclient as the $EDITOR of child processes
matthewbauer/bauer - An Emacs+Nix IDE
manateelazycat/snails - A modern, easy-to-expand fuzzy search framework
manateelazycat/lazy-load - Lazy load keys for speed up Emacs startup.
louietan/anki-editor - Emacs minor mode for making Anki cards with Org
lucasew/torrent.el - Find torrents using Google or DuckDuckGo without leaving emacs
lepisma/org-krita - Krita sketches in Org
lepisma/pile - Personal website generator based on Org mode
lepisma/oca - Org Capture Anywhere
lepisma/org-books - Reading list management with org mode
leanprover/lean4-mode - Emacs major mode for Lean 4
larstvei/Focus - Dim the font color of text in surrounding paragraphs
l3kn/org-fc - Spaced Repetition System for Emacs org-mode
kwrooijen/cargo.el - Emacs Minor Mode for Cargo, Rust's Package Manager.
kubernetes-el/kubernetes-el - Manage Kubernetes clusters with Emacs.
kuanyui/moe-theme.el - A customizable colorful eye-candy theme for Emacser. Moe, moe, kyun!
kiwanami/emacs-calfw - A calendar framework for Emacs
kiennq/emacs-mini-modeline - Display emacs mode line in minibuffer
kidd/org-gcal.el - Org sync with Google Calendar. (active maintained project as of 2019-11-06)
kborling/uwu-theme - An awesome dark color scheme for emacs. Based on the UwU vim theme.
karthink/popper - Emacs minor-mode to summon and dismiss buffers easily.
karthink/elmo - Embark Live MOde for Emacs
karthink/elfeed-tube - Youtube integration for Elfeed, the feed reader for Emacs
jwiegley/use-package - A use-package declaration for simplifying your .emacs
jwiegley/alert - A Growl-like alerts notifier for Emacs
justinbarclay/parinfer-rust-mode - Simplifying how you write Lisp
jrblevin/deft - Deft for Emacs
joostkremers/writeroom-mode - Writeroom-mode: distraction-free writing for Emacs.
joostkremers/ebib - A BibTeX database manager for Emacs.
joostkremers/parsebib - Elisp library for reading .bib files
jollm/exlybar - An Emacs Polybar-like window manager status bar.
jojojames/fussy - Emacs completion-style leveraging flx
johnson-christopher/powerline-evil - Utilities for better Evil support for Powerline
john2x/dank-mode - Emacs major mode for browsing Reddit
joaotavora/eglot - A client for Language Server Protocol servers
jixiuf/vterm-toggle - toggles between the vterm buffer and whatever buffer you are editing.
jidicula/dotfiles - Config files
jgru/consult-org-roam - A bunch of convenience functions for operating org-roam with the help of consult
jethrokuan/dots - tracking my dotfiles
jeetelongname/elfeed-goodies - Various goodies for Elfeed
jcs-emacs/jcs-emacs - Emacs configuration works across all OSs
jcs-elpa/company-fuzzy - Fuzzy matching for `company-mode'
jaypei/emacs-neotree - A emacs tree plugin like NerdTree for Vim.
jacktasia/dumb-jump - an Emacs "jump to definition" package for 50+ languages
io12/org-fragtog - Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
idris-community/idris2-mode - Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
hlissner/evil-multiedit - Multiple cursors for evil-mode, based on iedit
hayamiz/twittering-mode - An Emacs major mode for Twitter
gonewest818/dimmer.el - Interactively highlight which buffer is active by dimming the others.
gizmomogwai/org-kanban - Kanban table for org-mode
gabesoft/evil-mc - Multiple cursors implementation for evil-mode
fizban007/arxiv-mode - Emacs major mode for viewing updates on arXiv.org
felipeochoa/rjsx-mode - A JSX major mode for Emacs
ethereum/emacs-solidity - The official solidity-mode for EMACS
eschulte/epresent - Presentations in Emacs -- based on Org-mode
ericdanan/counsel-projectile - Ivy UI for Projectile
ergoemacs/ergoemacs-mode - ergoemacs-mode
emacsorphanage/git-gutter-fringe - Fringe version of git-gutter.el
emacsmirror/multi-mode - Support for multiple major modes
emacsmirror/emacswiki.org - The official Emacswiki repository
emacsmirror/fennel-mode - A major-mode for editing Fennel code
emacscollective/borg - Assimilate Emacs packages as Git submodules
emacscollective/auto-compile - Automatically compile Emacs Lisp libraries
emacs-w3m/emacs-w3m - emacs-w3m, a simple Emacs interface to w3m
emacs-ng/emacs-ng - A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
emacs-mirror/emacs - Mirror of GNU Emacs
emacs-lsp/lsp-mode - Emacs client/library for the Language Server Protocol
emacs-love/weblorg - Static Site Generator for Emacs
emacs-jp/replace-colorthemes - Replace color-theme with Emacs theme framework
emacs-evil/evil-collection - A set of keybindings for evil-mode
emacs-evil/evil - The extensible vi layer for Emacs.
emacs-evil/evil-surround - you will be surrounded (surround.vim for evil, the extensible vi layer)
emacs-dashboard/emacs-dashboard - An extensible emacs dashboard
emacs-citar/citar-org-roam - citar/org-roam integration
editorconfig/editorconfig-emacs - EditorConfig plugin for Emacs
duckwork/titlecase.el - Titlecase Things in Emacs
duckwork/sophomore.el - Fine-tuned command disabling
emacs-eldev/eldev - Elisp development tool
doomemacs/doomemacs - An Emacs framework for the stubborn martian hacker
dmitrym0/org-hyperscheduler - org-hyperscheduler is an Emacs package that helps you organize your day.
dholm/benchmark-init-el - Benchmark your Emacs initialization
dengste/org-caldav - Caldav sync for Emacs orgmode
daviwil/emacs-from-hell - ⚠️ The most dangerous init.el ⚠️
davidshepherd7/frames-only-mode - Make emacs play nicely with tiling window managers by setting it up to use frames rather than windows
daviderestivo/galactic-emacs - An Emacs distribution coming from the space ...
dajva/rg.el - Emacs search tool based on ripgrep
d12frosted/flyspell-correct - Distraction-free words correction with flyspell via selected interface.
d12frosted/vulpea - A collection of functions for note taking based on org and org-roam.
countvajhula/rigpa - A metacircular modal UI framework.
commercial-emacs/commercial-emacs - "Evil will always triumph, because good is dumb." -- Spaceballs (1987)
casouri/lunarymacs - Moon-based Emacs configuration.
casouri/vundo - Visualize the undo tree.
cask/cask - Project management tool for Emacs
beacoder/dot-emacs - Emacs configuration.
bbatsov/prelude - Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
bbatsov/solarized-emacs - The Solarized colour theme, ported to Emacs.
bbatsov/projectile - Project Interaction Library for Emacs
bbatsov/helm-projectile - Helm UI for Projectile
bbatsov/zenburn-emacs - The Zenburn colour theme ported to Emacs
bbatsov/super-save - Save Emacs buffers when they lose focus
bastibe/org-journal - A simple org-mode based journaling mode
awth13/org-appear - Toggle visibility of hidden Org mode element parts upon entering and leaving an element
astahlman/ob-async - Asynchronous src_block execution for org-babel
arthurmco/dotfiles - My personal set of dotfiles
angrybacon/dotemacs - My Emacs configuration
andras-simonyi/citeproc-el - A CSL 1.0.2 Citation Processor for Emacs.
ananthakumaran/tide - Tide - TypeScript Interactive Development Environment for Emacs
alphapapa/org-ql - A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.
alphapapa/burly.el - Save and restore frames and windows with their buffers in Emacs
alphapapa/hammy.el - Programmable, interactive interval timers (e.g. for working/resting)
alphapapa/bufler.el - A butler for your buffers. Group buffers into workspaces with programmable rules, and easily switch to and manipulate them.
alphapapa/ement.el - A Matrix client for GNU Emacs
alphapapa/org-rifle - Rifle through your Org-mode buffers and acquire your target
alphapapa/outorg - Convert source-code buffers temporarily to Org-mode for comment editing
alezost/alect-themes - Configurable custom themes for GNU Emacs
ahungry/org-jira - Bring Jira and OrgMode together
PythonNut/quark-emacs - :rocket: An incredible wonderland of code
NixOS/nix-mode - An Emacs major mode for editing Nix expressions.
picnoir/my-repo-pins - Emacs project manager and remote git checkout
Mstrodl/elcord - Discord Rich Presence / Gamebridge support for Emacs!
Malabarba/aggressive-indent-mode - Emacs minor mode that keeps your code always indented. More reliable than electric-indent-mode.
LaurenceWarne/finito.el - 📚 Manage books with Emacs 📚
Lambda-Emacs/lambda-themes - A set of four light and dark themes for Emacs.
Kungsgeten/org-brain - Org-mode wiki + concept-mapping
Kungsgeten/ryo-modal - Roll your own modal mode
JonWaltman/pcmpl-args.el - Enhanced shell completion in Emacs
colonelpanic8/org-project-capture - Manage org-mode TODOs for your projectile projects
Fuco1/dired-hacks - Collection of useful dired additions
Fuco1/smartparens - Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
Fanael/rainbow-delimiters - Emacs rainbow delimiters mode
EFLS/zetteldeft - A Zettelkasten system! Or rather, some functions on top of the emacs deft package.
Denommus/nix-darwin-configurations - My Nix configurations for the MacOS
DarthFennec/highlight-indent-guides - Emacs minor mode to highlight indentation
DamienCassou/desktop-environment - Helps you control your GNU/Linux computer from Emacs
AmaiKinono/puni - Structured editing (soft deletion, expression navigating & manipulating) that supports many major modes out of the box.
Alexander-Miller/treemacs -
emacs-lsp/lsp-haskell - lsp-mode :heart: haskell
minad/consult - :mag: consult.el - Consulting completing-read
jyp/boon - Ergonomic Command Mode for Emacs
jimeh/.emacs.d - My personal Emacs config with any quirks, oddities, bugs, and man-eating errors I live with on a daily basis.
bbatsov/crux - A Collection of Ridiculously Useful eXtensions for Emacs
jyp/dante -
protesilaos/denote - Simple notes for Emacs with an efficient file-naming scheme
jeremy-compostella/org-msg - OrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.
purcell/page-break-lines - Emacs: display ugly ^L page breaks as tidy horizontal lines
tarsius/moody - Tabs and ribbons for the mode-line
company-mode/company-quickhelp - Documentation popup for Company
Trevoke/org-gtd.el - A package for using GTD with org-mode
oantolin/orderless - Emacs completion style that matches multiple regexps in any order
milkypostman/powerline - emacs powerline
mrkkrp/modalka - Modal editing your way
emacsmirror/paredit - Minor mode for editing parentheses
xahlee/xah-fly-keys - the most efficient keybinding for emacs
rexim/simpc-mode - Simple C mode for Emacs
auto-complete/auto-complete - Emacs auto-complete package
manateelazycat/awesome-tab - Emacs package to provide out-of-the-box configuration to use tabs.
muffinmad/emacs-mini-frame - Show minibuffer in child frame on read-from-minibuffer
Lambda-Emacs/lambda-emacs - Emacs distribution with sane defaults, pre-configured packages, and useful functions.
myrjola/diminish.el - Diminished modes are minor modes with no modeline display
dimitri/el-get - Manage the external elisp bits and pieces upon which you depend!
sebastiencs/company-box - A company front-end with icons
abo-abo/lispy - Short and sweet LISP editing
emacs-lsp/lsp-ivy -
cdominik/cdlatex - Fast input methods to enter LaTeX environments and math with GNU Emacs
emacsorphanage/git-gutter - Emacs port of GitGutter which is Sublime Text Plugin
company-mode/company-mode - Modular in-buffer completion framework for Emacs
condy0919/.emacs.d - 一个快速且实用的 Emacs 配置
emacsfodder/emacs-theme-darktooth - Darktooth : From the darkness... it watches.
SystemCrafters/crafted-emacs - A sensible base Emacs configuration.
radian-software/prescient.el - ☄️ Simple but effective sorting and filtering for Emacs.
haskell/haskell-mode - Emacs mode for Haskell
emacsfodder/move-text - move current line or region up or down
radian-software/selectrum - 🔔 Better solution for incremental narrowing in Emacs.
dgutov/diff-hl - Emacs package for highlighting uncommitted changes
jojojames/dired-sidebar - Sidebar for Emacs leveraging Dired
justbur/emacs-which-key - Emacs package that displays available keybindings in popup
radian-software/ctrlf - ⌨️ Emacs finally learns how to ctrl+F.
Wilfred/helpful - A better Emacs help buffer
magnars/s.el - The long lost Emacs string manipulation library.
tmalsburg/helm-bibtex - Search and manage bibliographies in Emacs
MatthewZMD/.emacs.d - M-EMACS, a full-featured GNU Emacs configuration distribution
jkitchin/org-ref - org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
manateelazycat/awesome-tray - Hide mode-line, display necessary information at right of minibuffer.
skangas/mentor - mentor is a GNU Emacs frontend for the rTorrent bittorrent client.
Malabarba/beacon - A light that follows your cursor around so you don't lose it!
rejeep/f.el - Modern API for working with files and directories in Emacs
abo-abo/ace-window - Quickly switch windows in Emacs
progfolio/elpaca - An elisp package manager
org-roam/org-roam-bibtex - Org Roam integration with bibliography management software
emacscollective/no-littering - Help keeping ~/.config/emacs clean
CeleritasCelery/rune - Rust VM for Emacs
dbordak/telephone-line - A new implementation of Powerline for Emacs
abo-abo/hydra - make Emacs bindings that stick around
protesilaos/ef-themes - Colourful and legible themes for GNU Emacs
greduan/emacs-theme-gruvbox - Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.
tkf/emacs-request - Request.el -- Easy HTTP request for Emacs Lisp
Lambda-Emacs/lambda-line - A configurable status line for Emacs
minad/marginalia - :scroll: marginalia.el - Marginalia in the minibuffer
auto-complete/popup-el - Visual Popup Interface Library for Emacs
Bad-ptr/persp-mode.el - named perspectives(set of buffers/window configs) for emacs
radian-software/radian - 🍉 Dotfiles that marry elegance and practicality.
emacs-lsp/lsp-treemacs - lsp-mode :heart: treemacs
jwiegley/emacs-async - Simple library for asynchronous processing in Emacs
beacoder/stock-tracker - Track stock price in Emacs
dimitri/switch-window - Offer a visual way to choose a window to switch to
conao3/leaf.el - Flexible, declarative, and modern init.el package configuration
ztlevi/doom-config - Blazing fast Doom Emacs private configuration
rougier/svg-tag-mode - A minor mode for Emacs that replace keywords with nice SVG labels
victorolinasc/ob-elixir - Org-Mode Elixir language support
emacs-vs/docstr - A document string minor mode
johannes-mueller/dired-gitignore.el - dired minor mode to ignore files that are to be ignored by git
purcell/diredfl - Extra Emacs font lock rules for a more colourful dired
protesilaos/modus-themes - Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).
emacsorphanage/god-mode - Minor mode for God-like command entering
tarsius/minions - A minor-mode menu for the mode line
integral-dw/org-superstar-mode - Make org-mode stars a little more super
ema2159/centaur-tabs - Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
weirdNox/org-noter - Emacs document annotator, using Org-mode
emacs-citar/citar - Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
Malabarba/smart-mode-line - A powerful and beautiful mode-line for Emacs.
jkitchin/scimax - An emacs starterkit for scientists and engineers
purcell/exec-path-from-shell - Make Emacs use the $PATH set up by the user's shell
daviwil/emacs-from-scratch - An example of a fully custom Emacs configuration developed live on YouTube!
karthink/consult-dir - Insert paths into the minibuffer prompt in Emacs
seagle0128/doom-modeline - A fancy and fast mode-line inspired by minimalism design.
drym-org/symex.el - An intuitive way to edit Lisp symbolic expressions ("symexes") structurally in Emacs
abo-abo/avy - Jump to things in Emacs tree-style
ymherklotz/emacs-zettelkasten - Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/

Erlang

lucassouzamatos/chico.lang - :sparkles: :smiley_cat: a functional toy language
WhatsApp/eqwalizer - A type-checker for Erlang
dnsimple/erldns - DNS server, in Erlang.
josefs/Gradualizer - A Gradual type system for Erlang

F#

mrLSD/riscv-fs - F# RISC-V Instruction Set formal specification
d-edge/fasmi - F# -> ASM disassembler
tpetricek/Teaching - :mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
yatli/fvim - Cross platform Neovim front-end UI, built with F# + Avalonia
ocsigen/ts2ocaml - Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API
lambda-study-group/hacker-rank - Functional Path do hacker Rank
jack-pappas/fsharp-logic-examples - Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
haf/linux-intro-course - A gentle introduction to programming networked services on linux

F*

FStarLang/FStar - A Proof-oriented Programming Language

Fennel

Olical/nfnl - Enhance your Neovim with Fennel
stefanvanburen/dotfiles - 🏡
nyoom-engineering/nyoom.nvim - A Neovim framework and doom emacs alternative for the stubborn martian hacker. Powered by fennel and the oxocarbon theme
joseemds/nvim-config -
alexaandru/fennel-nvim - Fennel shim for Neovim
bakpakin/Fennel - Lua Lisp Language
ggandor/leap.nvim - Neovim's answer to the mouse 🦘

G-code

pixelpusher/liveprinter - Livecoding for 3D printers

GDScript

OpenVicProject/OpenVic - Main Repo for the OpenVic Project
Akademya/mandrake - A simple open-source turn-base RPG!

GLSL

pema99/shader-knowledge - Documenting obscure technical shader knowledge (mostly VRChat specific)

Gleam

gleam-lang/cowboy - 🤠 A Gleam HTTP service adapter for the Cowboy web server

Gnuplot

karlrupp/microprocessor-trend-data - Data repository for my blog series on microprocessor trend data.

Go

kahing/goofys - a high-performance, POSIX-ish Amazon S3 file system written in Go
kubernetes-sigs/ingress2gateway - Convert Ingress resources to Gateway API resources
dundee/gdu - Fast disk usage analyzer with console interface written in Go
coreybutler/nvm-windows - A node.js version management utility for Windows. Ironically written in Go.
toboshii/hajimari - Hajimari is a beautiful & customizable browser startpage/dashboard with Kubernetes application discovery.
argoproj/argo-cd - Declarative Continuous Deployment for Kubernetes
alexellis/k3sup - bootstrap K3s over SSH in < 60s 🚀
Shopify/toxiproxy - :alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing
mauricioabreu/golings - rustlings but for golang this time
xakep666/mongo-migrate - Versioned migrations for MongoDB.
aurc/loggo - A powerful terminal app for structured log streaming
ariga/atlas - A modern tool for managing database schemas
a-h/templ - A language for writing HTML user interfaces in Go.
runabol/tork - A distributed workflow engine
mbrt/gmailctl - Declarative configuration for Gmail filters
cloudflare/cloudflare-go - Go library for the Cloudflare v4 API
google/capslock -
google/pprof - pprof is a tool for visualization and analysis of profiling data
davidhampgonsalves/Life-Dashboard - Low power, E-Ink dashboard for every day life running on a hacked Kindle.
kubernetes-sigs/kind - Kubernetes IN Docker - local clusters for testing Kubernetes
opentofu/opentofu - OpenTofu lets you declaratively manage your cloud infrastructure.
kubernetes/kubernetes - Production-Grade Container Scheduling and Management
jvns/dns-doctor -
istio/istio - Connect, secure, control, and observe services.
acheong08/obi-sync - Reverse engineering of the native Obsidian sync and publish server
platypusguy/jacobin - A more than minimal JVM written in Go and capable of running Java 17 classes.
x-motemen/gore - Yet another Go REPL that works nicely. Featured with line editing, code completion, and more.
zyedidia/micro - A modern and intuitive terminal-based text editor
ayn2op/discordo - A lightweight, secure, and feature-rich Discord terminal client.
ergomake/layerform - Layerform helps engineers create reusable environment stacks using plain .tf files. Ideal for multiple "staging" environments.
learn-video/rtmp-live - Learn how to build a simple streaming platform based on the Real Time Messaging Protocol
nebuly-ai/k8s-device-plugin - NVIDIA device plugin for Kubernetes
ooni/minivpn - A minimalistic OpenVPN implementation in Go
majd/ipatool - Command-line tool that allows searching and downloading app packages (known as ipa files) from the iOS App Store
kubeshop/tracetest - 🔭 Tracetest - Build integration and end-to-end tests in minutes, instead of days, using OpenTelemetry and trace-based testing.
algebraic-sofia/quack - 🦆 | A quake log parser (it's for an interview)
osrg/gobgp - BGP implemented in the Go Programming Language
kevinehosford/a-cli -
charmbracelet/wishlist - The SSH directory ✨
albertito/dnss - DNS over HTTPS [mirror]
inovex/mqtt_blackbox_exporter - Prometheus Exporter for MQTT monitoring
hikhvar/mqtt2prometheus - MQTT to Prometheus gateway
jmorganca/ollama - Get up and running with Llama 2 and other large language models locally
nats-io/nats-server - High-Performance server for NATS.io, the cloud and edge native messaging system.
driusan/lmt - literate markdown tangle
axiomhq/hyperloglog - HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
TheMightyGit/rssole - An RSS Reader inspired by the late Google Reader
charmbracelet/mods - AI on the command line
mattn/bsky - A cli application for bluesky social
learn-video/manifest-manipulator -
charmbracelet/glamour - Stylesheet-based markdown rendering for your CLI apps 💇🏻‍♀️
gravitational/teleport - Protect access to all of your infrastructure.
rwxrob/keg -
owasp-amass/asset-db - Database interaction layer to store open-asset-models in sqlite3 and postgres
outcoldman/hackernews-personal-blogs - List of Public Blogs of Hacker News users
jetpack-io/typeid - Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs
dop251/goja - ECMAScript/JavaScript engine in pure Go
learn-video/continue-watching-api -
hashicorp/terraform - Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amo
labstack/echox - Echo cookbook and website
ergomake/ergomake - Preview environments on every pull request, for any stack.
amir20/dozzle - Realtime log viewer for docker containers.
masroorhasan/spotifycli - CLI to manage Spotify playlists.
nocalhost/nocalhost - Nocalhost is Cloud Native Dev Environment.
imgproxy/imgproxy - Fast and secure standalone server for resizing and converting remote images
dgraph-io/dgraph - The high-performance database for modern applications
princessmortix/doprafetch - Get information about your Huawei router!
matrix-org/dendrite - Dendrite is a second-generation Matrix homeserver written in Go!
jackc/pgconn -
DarthPestilane/easytcp - :sparkles: :rocket: EasyTCP is a light-weight TCP framework written in Go (Golang), built with message router. EasyTCP helps you build a TCP server easily fast and less painful.
abiosoft/colima - Container runtimes on macOS (and Linux) with minimal setup
mactat/framed - Architect your project with Framed: effortless files and directories management
containers/buildah - A tool that facilitates building OCI images.
superfly/flyctl - Command line tools for fly.io services
wader/fq - jq for binary formats - tool, language and decoders for working with binary and text formats
aretext/aretext - Minimalist text editor with vim-compatible key bindings.
dapr/dapr - Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.
eyedeekay/railroad - A simple, single-user, self-hosted blogging system for I2P.
labstack/echo - High performance, minimalist Go web framework
kubecfg/kubecfg - A tool for managing complex enterprise Kubernetes environments as code.
FiloSottile/yubikey-agent - yubikey-agent is a seamless ssh-agent for YubiKeys.
paypal/junodb - JunoDB is PayPal's home-grown secure, consistent and highly available key-value store providing low, single digit millisecond, latency at any scale.
FiloSottile/mkcert - A simple zero-config tool to make locally trusted development certificates with any names you'd like.
KarnerTh/mermerd - Create Mermaid-Js ERD diagrams from existing tables
oklog/ulid - Universally Unique Lexicographically Sortable Identifier (ULID) in Go
jetpack-io/devbox - Instant, easy, and predictable development environments
golang/term - Go terminal and console support
quii/todo - spiking out a todo list with htmx
dirien/minectl - minectl 🗺 is a cli for creating Minecraft server on different cloud provider.
nextdns/nextdns - NextDNS CLI client (DoH Proxy)
mudler/LocalAI - :robot: The free, Open Source OpenAI alternative. Self-hosted, community-driven and local-first. Drop-in replacement for OpenAI running on consumer-grade hardware. No GPU required. Runs ggml, gguf, GP
tierrun/tier - The easiest way to add pricing to your SaaS. Get billing over with.
robherley/snips.sh - ✂️ passwordless, anonymous SSH-powered pastebin with a human-friendly TUI and web UI
ekkinox/yai - Your AI powered terminal assistant
CryoByte33/steam-deck-utilities - A utility to improve performance and help manage storage on Steam Deck.
traefik/yaegi - Yaegi is Another Elegant Go Interpreter
samber/mo - 🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
moul/quicssh - SSH over QUIC
Gurpartap/statemachine-go - 🚦 Declarative Finite-State Machines in Go
m1k1o/neko - A self hosted virtual browser that runs in docker and uses WebRTC.
milvus-io/milvus - A cloud-native vector database, storage for next generation AI applications
usememos/memos - A privacy-first, lightweight note-taking service. Easily capture and share your great thoughts.
darcys22/godbledger - Accounting Software with GRPC endpoints and SQL Backends
pgrok/pgrok - Poor man's ngrok - a multi-tenant HTTP/TCP reverse tunnel solution through SSH remote port forwarding
dlvhdr/gh-dash - A beautiful CLI dashboard for GitHub 🚀
mehanizm/airtable - Simple golang airtable API wrapper
mr-karan/doggo - :dog: Command-line DNS Client for Humans. Written in Golang
mjl-/mox - modern full-featured open source secure mail server for low-maintenance self-hosted email
kevwan/tproxy - A cli tool to proxy and analyze TCP connections.
MarcusXavierr/anki-helper - A tool to make life easier for those who use anki as part of learning new languages
charmbracelet/log - A minimal, colorful Go logging library 🪵
qaware/protocurl - protoCURL is cURL for Protobuf: The command-line tool for interacting with Protobuf over HTTP REST endpoints using human-readable text formats
tobischo/gokeepasslib - A library to read and write keepass 2 files written in go
stefanprodan/timoni - Timoni is a package manager for Kubernetes, powered by CUE and inspired by Helm.
apache/incubator-answer - A Q&A platform software for teams at any scales. Whether it's a community forum, help center, or knowledge management platform, you can always count on Answer.
sachaos/todoist - Todoist CLI Client. I ❤️ Todoist and CLI.
protolambda/asterisc - Work in progress RISC-V interactive fraud-proof tech
bspaans/jit-compiler - JIT compiler in Go
deepfence/SecretScanner - :unlock: :unlock: Find secrets and passwords in container images and file systems :unlock: :unlock:
appleboy/loadbalancer-algorithms - Load balancer Algorithms
dominikbraun/graph - A library for creating generic graph data structures and modifying, analyzing, and visualizing them.
x-motemen/blogsync - Push and pull blog entries from/to local filesystem
hexops/zgo - Go + Zig = 💕 | Zig and Go are best friends
deanishe/alfred-firefox - Search and control Firefox from Alfred
jub0bs/fcors - a principled CORS middleware library for Go
liqotech/liqo - Enable dynamic and seamless Kubernetes multi-cluster topologies
grafana/grafana-kiosk - Kiosk Utility for Grafana
mcuadros/go-syslog - Syslog server library for go.
cornelk/hashmap - A Golang lock-free thread-safe HashMap optimized for fastest read access.
Grubba27/write-yourself-a-scheme - a scheme interpreter written in go based on eatonphil twitch stream.
hashicorp-forge/hermes - A document management system
pinterest/knox - Knox is a secret management service
rjeczalik/cmd - Handmade tools for day-to-day plumbing.
AkihiroSuda/lsf - Linux Subsystem for FreeBSD (😈 on 🐧)
andrewstuart/goq - A declarative struct-tag-based HTML unmarshaling or scraping package for Go built on top of the goquery library
matryer/moq - Interface mocking tool for go generate
fawni/asunder - 🍡 Command line TOTP authenticator
danderson/netboot - Packages and utilities for network booting
jmoiron/sqlx - general purpose extensions to golang's database/sql
neurosnap/sentences - A multilingual command line sentence tokenizer in Golang
sagikazarmark/goci - High-level CI config DSL written in Go based on Dagger
tdewolff/minify - Go minifiers for web formats
awalterschulze/parsing-in-go-example - Parsing in Go Examples for Talk
felixge/traceutils - Code for decoding and encoding runtime/trace files as well as useful functionality implemented on top.
aegistudio/enigma - 🔢🔒Enigma: a simple cross-platform encrypted filesystem
tailscale/golink - A private shortlink service for tailnets
kubernetes-sigs/usage-metrics-collector - High fidelity and scalable capacity and usage metrics for Kubernetes clusters
withastro/compiler - The Astro v1.0 compiler. Written in Go, distributed as WASM.
kubevirt/kubevirt - Kubernetes Virtualization API and runtime in order to define and manage virtual machines.
rhysd/dotfiles - dotfiles symbolic links management CLI
ory/kratos - Next-gen identity server (think Auth0, Okta, Firebase) with Ory-hardened authentication, PassKeys, MFA, FIDO2, TOTP, WebAuthn, profile management, identity schemas, social sign in, registration, accou
trietmn/go-wiki - This is a Golang open-source module that makes it easy to access and parse data from Wikipedia (Wikipedia API wrapper)
google/gvisor - Application Kernel for Containers
TomorrowWu/golang-algorithms - Algorithms and data structures implemented in Golang with explanations and links to further readings
fstab/grok_exporter - Export Prometheus metrics from arbitrary unstructured log data.
favonia/cloudflare-ddns - 🌟 A small (< 3MB), feature-rich, and robust Cloudflare DDNS updater
nkanaev/yarr - yet another rss reader
sassoftware/relic - Relic is a service and a tool for adding digital signatures to operating system packages for Linux and Windows
life4/enc - 🔑🔒 A modern and friendly CLI alternative to GnuPG: generate and download keys, encrypt, decrypt, and sign text and files, and more.
jimeh/emacs-builds - Self-contained Emacs.app builds for macOS, with native-compilation support in nightly builds.
errata-ai/vale - :pencil: A markup-aware linter for prose built with speed and extensibility in mind.
rdbell/nvote - Decentralized, vote-driven community similar to services like Reddit and HackerNews. Built on nostr.
tailscale/tailscale - The easiest, most secure way to use WireGuard and 2FA.
mauricioabreu/protohackers -
sourcegraph/conc - Better structured concurrency for go
derailed/k9s - 🐶 Kubernetes CLI To Manage Your Clusters In Style!
kataras/neffos - A modern, fast and scalable websocket framework with elegant API written in Go
arangodb/feed - A tool to feed generated random data of various types into ArangoDB and run other load
noborus/ov - 🎑Feature-rich terminal-based text viewer. It is a so-called terminal pager.
coder/coder - Provision remote development environments via Terraform
amitsaha/gitbackup - Tool to backup your Bitbucket, GitHub and GitLab repositories
containers/podman - Podman: A tool for managing OCI containers and pods.
gitpod-io/gitpod - The developer platform for on-demand cloud development environments to create software faster and more securely.
nikitavoloboev/alfred - Alfred workflows I use
coreos/go-iptables - Go wrapper around iptables utility
kevmo314/codec-from-scratch - Build a simple video encoder from scratch
JohnStarich/go - This is a collection of my Go utilities in one easy-to-import place
icyphox/legit - web frontend for git
charmbracelet/glow - Render markdown on the CLI, with pizzazz! 💅🏻
juanfont/headscale - An open source, self-hosted implementation of the Tailscale control server
bettercap/bettercap - The Swiss Army knife for 802.11, BLE, IPv4 and IPv6 networks reconnaissance and MITM attacks.
p1ass/feeder - 📮 RSS, Atom, and JSON feed generator from multiple RSS, Atom, and any entries you want.
ddworken/hishtory - Your shell history: synced, queryable, and in context
formancehq/ledger - 🏛 A programmable financial ledger to build applications that move money
nanobox-io/nanobox - The ideal platform for developers
thomscoder/luna - 🌙 A really tiny WebAssembly compiler for demonstration and educational purposes. Written in Go and built as one of my quests to conquer the WebAssembly dungeon
turbot/steampipe - Use SQL to instantly query your cloud services (AWS, Azure, GCP and more). Open source CLI. No DB required.
charmbracelet/vhs - Your CLI home video recorder 📼
gruntwork-io/cloud-nuke - A tool for cleaning up your cloud accounts by nuking (deleting) all resources within it
rebuy-de/aws-nuke - Nuke a whole AWS account and delete all its resources.
metafates/mangal - 📖 The most advanced (yet simple) cli manga downloader in the entire universe! Lua scrapers, export formats, anilist integration, fancy TUI and more!
wtfutil/wtf - The personal information dashboard for your terminal
wagnerdevocelot/AlGo - Estrutura de dados e Algoritmos em Golang
vbrazo/writing-a-compiler-in-go - Writing a compiler in Go
tsoding/snitch - Language agnostic tool that collects TODOs in the source code and reports them as Issues
syncthing/syncthing - Open Source Continuous File Synchronization
sqshq/sampler - Tool for shell commands execution, visualization and alerting. Configured with a simple YAML file.
sourcegraph/sourcegraph - Code AI platform with Code Search & Cody
segmentio/asm - Go library providing algorithms optimized to leverage the characteristics of modern CPUs
schollz/croc - Easily and securely send things from one computer to another :crocodile: :package:
ruilisi/css-checker - Reduce Similar & Duplicated CSS Classes with Diff in Seconds!
rtr7/router7 - router7 is a small home internet router completely written in Go. It is implemented as a gokrazy appliance.
reviewdog/reviewdog - 🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
pocketbase/pocketbase - Open Source realtime backend in 1 file
owulveryck/rePocketable - Tool to fetch articles from (getPocket|the web) and turn them into epub
nikhil1raghav/kindle-send - Send webpages, documents and bookmarks to kindle
nektos/act - Run your GitHub Actions locally 🚀
maaslalani/gambit - Play chess in your terminal
lima-vm/lima - Linux virtual machines
jvns/mess-with-dns-backend -
inancgumus/learngo - ❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
hahwul/DevSecOps - ♾️ Collection and Roadmap for everyone who wants DevSecOps. Hope your DevOps are more safe 😎
crgimenes/grupo-estudos-golang - Material para estudo de Golang, tutoriais, videos e exemplos para quem quer aprender Go
gkze/gh-stars - :star: Keep your Github Stars fresh!
mislav/hub - A command-line tool that makes git easier to use with GitHub.
free5gc/free5gc - Open source 5G core network base on 3GPP R15
elisboa/tiodopave - Um repositório para praticar o git-flow sem se preocupar tanto com a qualidade do código 😌
elchead/blog-cli - used to draft posts inside obsidian and publish conveniently to my Github blog
direnv/direnv - unclutter your .profile
cointop-sh/cointop - A fast and lightweight interactive terminal based UI application for tracking cryptocurrencies 🚀
climech/grit - Multitree-based personal task manager
cli/cli - GitHub’s official command line tool
chriswalz/bit - Bit is a modern Git CLI
charmbracelet/lipgloss - Style definitions for nice terminal layouts 👄
caddyserver/caddy - Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
boramalper/magnetico - Autonomous (self-hosted) BitTorrent DHT search engine suite.
bensadeh/circumflex - 🌿 It's Hacker News in your terminal
basselalaraaj/graphql-schema-registry - GraphQL schema registry
antoniomika/sish - HTTP(S)/WS(S)/TCP Tunnels to localhost using only SSH.
OpenDiablo2/OpenDiablo2 - An open source re-implementation of Diablo 2
Jguer/yay - Yet another Yogurt - An AUR Helper written in Go
charmbracelet/gum - A tool for glamorous shell scripts 🎀
charmbracelet/bubbletea - A powerful little TUI framework 🏗
avelino/awesome-go - A curated list of awesome Go frameworks, libraries and software
junegunn/fzf - :cherry_blossom: A command-line fuzzy finder
yudai/gotty - Share your terminal as a web application
jesseduffield/lazygit - simple terminal UI for git commands

HCL

apollosolutions/build-a-supergraph - Tutorial series for building an Apollo federated supergraph using GCP or AWS
Gabriella439/nixos-in-production - Source files for the book "NixOS in Production"
ryboe/private-ip-cloud-sql-db - An example set of terraform files for deploying a Cloud SQL DB with a private IP address only
collabnix/terraform - Terraform - Beginners | Intermediate | Advanced
wrongbyte-lab/tf-gcp-tutorial - deploy cloud function using terraform
codeaprendiz/learn-devops - I am using this repository to document my devops journey. I follow the process of learning everything by tasks. Every task has an associated objective that encompasses an underlying concept. Concepts
terraform-aws-modules/terraform-aws-appsync - Terraform module to create AWS AppSync resources 🇺🇦
gruberdev/homelab - Self-managed ArgoCD responsible for controlling my homelab Kubernetes cluster.
ozbillwang/terraform-best-practices - Terraform Best Practices for AWS users

HTML

itanium-cxx-abi/cxx-abi - C++ ABI Summary
shuding/css-computer - Computational Style Sheets
XXIIVV/oscean - Static wiki engine written in Uxntal
XXIIVV/webring - Make yourself a website
krzemienski/awesome-video - A curated list of awesome streaming video tools, frameworks, libraries, and learning resources.
sandersn/typescript-history - A History of TypeScript
yoheinakajima/instagraph - Converts text input or URL into knowledge graph and displays
GoogleChrome/developer.chrome.com - The frontend, backend, and content source code for developer.chrome.com
leanprover-community/mathematics_in_lean - The user home repository for the Mathematics in Lean tutorial.
geohot/tinyxxx - tiny corporation website
serkodev/holy - ✨ A simple and clean Hugo theme
badmojr/1Hosts - World's most advanced DNS filter-/blocklists!
ahmadbilaldev/langui - UI for your AI. Open Source Tailwind components tailored for your GPT, generative AI, and LLM projects.
mark-when/markwhen - Make a cascading timeline from markdown-like text. Supports simple American/European date styles, ISO8601, images, links, locations, and more.
mark-watson/free-older-books-and-software - I used to have PDFs for my books on my web site - I moved them to this public repo.
yeah-tiger/yeah-tiger.github.io - :alarm_clock: PL conference deadline countdowns
hnrbs/blog -
AllInOpenSource/All-In - "Open sourcing Diversity and Inclusion."
tc39/proposal-array-grouping - A proposal to make grouping of array items easier
syncsynchalt/illustrated-quic - The Illustrated QUIC Connection: Every byte explained
dougallj/applegpu - Apple G13 GPU architecture docs and tools
UniMath/SymmetryBook - This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
ianhan/BitmapFonts - My collection of bitmap fonts pulled from various demoscene archives over the years
zserge/awfice - The world smallest office suite
kubernetes/website - Kubernetes website and documentation repo:
observablehq/plot - Observable Plot: a concise API for exploratory data visualization
GoogleChromeLabs/layout-shift-terminator -
microsoft/WhatTheHack - A collection of challenge based hack-a-thons including student guide, coach guide, lecture presentations, sample/instructional code and templates. Please visit the What The Hack website at: https://a
ocaml/ocaml.org - The official OCaml website.
iamtakagi/books - Managing purchased technical books. 技術書の本棚 (@iamtakagi's bookshelf)
siddhantgoel/awesome-beancount - Awesome Beancount Resources
CSStipendRankings/CSStipendRankings - https://csstipendrankings.org
tc39/proposal-module-expressions -
nextcloud/cookbook - 🍲 A library for all your recipes
Ryrden/ryan.dev - My personal website
hugo-sid/hugo-blog-awesome - Fast, minimal blog with dark mode support.
FreeCAD/DevelopersHandbook - A handbook about FreeCAD development
Cambridge-ICCS/cambridge-iccs.github.io - Resources for ICCS web (but public website replaced by https://iccs.cam.ac.uk)
haskell/haddock - Haskell Documentation Tool
hteumeuleu/caniemail - Can I email… Support tables for HTML and CSS in emails.
raysan5/raylib.com - raylib webpage
system-fonts/modern-font-stacks - System font stack CSS organized by typeface classification for every modern operating system
HigherOrderCO/Software-Foundations-In-Kind -
jaimevalero/managing-awesome-lists - Utilities to find awesome resources
mwhittaker/papers - :page_facing_up: Paper Summaries
ericchiang/pup - Parsing HTML at the command line
galopago/misistemita - Electronic hardware prototyping system. Solderless, robust and open source. Solves the typical problem of the circuit that works on a breadboard but stops working on a real-world setup. Easy to replic
sweirich/lambda-n-ways - Benchmarks for capture-avoiding substitution
vmware-labs/wasm-languages - How to use WebAssembly in various languages
argyleink/gui-challenges - Components from the YouTube show GUI Challenges: accessible, responsive, adaptive and cross browser components.
robinmoisson/staticrypt - Password protect a static HTML page, decrypted in-browser
danburzo/trimd - Trim HTML to Markdown (and back) from the command line
tc39/proposal-module-declarations - JavaScript Module Declarations
knight-lang/knight-lang - The Knight Programming Language
f/awesome-chatgpt-prompts - This repo includes ChatGPT prompt curation to use ChatGPT better.
samber/awesome-prometheus-alerts - 🚨 Collection of Prometheus alerting rules
javascript-tutorial/en.javascript.info - Modern JavaScript Tutorial
haskell-org/summer-of-haskell - Source code of summer.haskell.org
Afif13/CSS-Pattern - A collection of background patterns powered by CSS gradients
jissmonjose/students-courses-app - Django Course Registration App
brentsimmons/therecord.co - Website for the podcast The Record, with hosts Chris Parrish and Brent Simmons
munificent/journal - My blog, in all its statically-generated glory.
rust-lang/this-week-in-rust - Data for this-week-in-rust.org
tc39/proposal-pipeline-operator - A proposal for adding a useful pipe operator to JavaScript.
tulios/json-viewer - It is a Chrome extension for printing JSON and JSONP.
EsotericSoftware/kryo - Java binary serialization and cloning: fast, efficient, automatic
vcvpaiva/RecordedTalks - a place to keep information about my talks
jgm/djot - A light markup language
fiduswriter/diffDOM - A diff for DOM elements, as client-side JavaScript code. Gets all modifications, insertions and removals between two DOM fragments.
adityatelange/hugo-PaperMod - A fast, clean, responsive Hugo theme.
Shinmera/clip - A Common Lisp HTML templating engine.
tc39/proposal-do-expressions - Proposal for do expressions
nikomatsakis/intorust - Learn Rust real good.
hundredrabbits/100r.co - Official Website
markodenic/web-development-resources - Awesome Web Development Resources.
adileo/awesome-identifiers - Pick the best database primary key
facebook/jsx - The JSX specification is a XML-like syntax extension to ECMAScript.
espressif/esp-box - The ESP-BOX is a new generation AIoT development platform released by Espressif Systems.
ciochetta/notes - Repo for my personal note-taking app.
soedirgo/llvm-wasm - Compile and run LLVM IR in the browser
whatwg/fs - File System Standard
shuding/react-wrap-balancer - Simple React Component That Makes Titles More Readable
chenglou/chenglou.github.io -
mprimi/portable-secret - Better privacy without special software
mgladdish/website-customisations - A bunch of personal scripts to make using websites more pleasant
mathix420/notion-charts - Create stunning charts for your notion.so databases
atomiks/rehype-pretty-code - Beautiful code blocks for Markdown or MDX.
zimfw/zimfw - Zim: Modular, customizable, and blazing fast Zsh framework
w3c/web-performance - W3C Web Performance Working Group repo
upgundecha/awesome-testing-courses - A curated list of awesome online courses and tutorials on software testing, test automation and more...
terkelg/awesome-creative-coding - Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.
sethhillbrand/kicad_templates - Provides a number of additional Board and production house templates for KiCad
sampsyo/cs6120 - advanced compilers
rustviz/rustviz - Interactively Visualizing Ownership and Borrowing for Rust
rust-lang/rustc-dev-guide - A guide to how rustc works and how to contribute to it.
ripienaar/free-for-dev - A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
phil-opp/blog_os - Writing an OS in Rust
networkop/tkng - Source Repo for https://tkng.io
munificent/craftinginterpreters - Repository for the book "Crafting Interpreters"
m8/refined.blog - curated list of personal blogs
lucasew/succless-android - An index of android apps that sucks less
leaningtech/webvm - Virtual Machine for the Web
konn/computational-algebra - General-Purpose Computer Algebra System as an EDSL in Haskell
johnwhitington/mlbook - OCaml from the Very Beginning
iaurg/Computer-Science-Study - Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙
goessner/markdown-it-texmath - Support TeX math equations with your Markdown documents.
github/opensource.guide - 📚 Community guides for open source creators
emacs-eaf/eaf-browser - A modern, customizable and extensible browser in Emacs
docker/awesome-compose - Awesome Docker Compose samples
catern/public_html - My site at http://catern.com
carltheperson/advanced-js-objects - An e-book entirely about JavaScript objects
badtuxx/DescomplicandoDocker - Descomplicando o Docker, o livro.
apvarun/digital-garden-hugo-theme - Build your own personal Digital Garden effortlessly with this Hugo theme
LetticiaNicoli/awesome-cafezin - Lista pra vc que está buscando um cafezin incrível ☕️ ✨ 🇧🇷
learnyouahaskell/learnyouahaskell.github.io - A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

Hack

jaymody/nand2tetris - My attempt at https://www.nand2tetris.org

Haskell

tadeuzagallo/haskell-math-parser - Simple parser that I've been using to study Haskell
disco-lang/disco - Functional teaching language for use in a discrete mathematics course
agda/agda - Agda is a dependently typed programming language / interactive theorem prover.
Guilherme775/Red-Black-Tree - Red-Black Tree written in Haskell
harpocrates/language-rust - Parser and pretty-printer for the Rust language
cyberglot/typecheckler - algebraic typechecking and elaboration of dependent types
solomon-b/lambda-calculus-hs - Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
github/semantic - Parsing, analyzing, and comparing source code across many languages
maxdore/elfe - Interactive Theorem Proving for students
grin-compiler/ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling
nmattia/niv - Easy dependency management for Nix projects
well-typed/unfolder - Repository with code snippets that accompany episodes of The Haskell Unfolder
exercism/haskell - Exercism exercises in Haskell.
evincarofautumn/kitten - A statically typed concatenative systems programming language.
simonmichael/hledger - Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
sweirich/pi-forall - A demo implementation of a simple dependently-typed language
phadej/boring - Boring and Absurd types
pachopepe/Calculational - The calculational package provides a syntax, similar to the one used in calculational mathematics for defining quantifiers, lists, sets, and bags. A novelty in Calculational is that such objects can b
kowainik/trial - ⚖️ Trial Data Type
PPKFS/breadcrumbs - A Haskell tracing library.
SPY/haskell-wasm - Haskell WebAssembly Toolkit
deepflowinc/guardian - guardian - the border guardian for your Haskell monorepo package dependencies
travitch/haggle - An efficient graph library for Haskell
mrkkrp/megaparsec - Industrial-strength monadic parser combinator library
conal/lambda-ccc - Convert lambda expressions to CCC combinators
tweag/ormolu - A formatter for Haskell source code
koka-lang/koka - Koka language compiler and interpreter
grin-compiler/grin - GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
lambduli/minilog - A small relational (logic) programming language.
wasp-lang/strong-path - Strongly typed paths in Haskell
luke-clifton/shh - Simple shell like scripting from Haskell
dschrempf/mcmc - Markov chain Monte Carlo with Metropolis-Hasting algorithm
reubenharry/haskell-docs -
andrewthad/posix-api - haskell posix bindings
haskell/haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
JeanHuguesdeRaigniac/effects-landscape - Effects libraries in Haskell
JakobBruenker/monadic-bang - GHC plugin to desugar ! into do-notation
sdiehl/bulletproofs - Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
ifesdjeen/haskell-ffi-tutorial - A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop
diagrams/diagrams-input - Reading of raster images with JuicyPixels, SVG images with xml-conduit
diagrams/diagrams - Embedded domain-specific language for declarative vector graphics (wrapper package)
andreaslyn/mini-yu - A dependently typed programming language prototype
Simspace/simformat - Formats haskell import lists
asivitz/Hickory - Tools for building 3D interactive programs in Haskell
simmsb/calamity - A library for writing discord bots in haskell
mihaimaruseac/hindent - Haskell pretty printer
Haskell-Things/ImplicitCAD - A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
cblp/funlangs - Functional languages index
gwern/archiver-bot - Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
plt-amy/dep - A very small implementation of the Calculus of Constructions for experimentation purposes
serhiip/org2any - Seamless synchronisation of Org files with macOS Reminders
sdiehl/arithmetic-circuits - Arithmetic circuits for zero knowledge proof systems
adamgundry/type-inference - Unification and type inference algorithms
viglioni/lang-studies - Repo with algorithms or small projects in some languages I am studying
zoedsoupe/estrutura_de_dados - :brazil: Implementações dos princípios básicos e intermediários de Estrutura de Dados em Haskell!
write-you-a-scheme-v2/scheme - Write You a Scheme
wh5a/Algorithm-W-Step-By-Step - Classic Algorithm W for type inference.
unnohideyuki/Tiger-in-Haskell - "Modern compiler implementation" in Haskell!
unisonweb/unison - A friendly programming language from the future
thma/lambda-ski - Implementing a small functional language with a combinator based graph-reduction machine
system-f/fp-course - Functional Programming Course
smallhadroncollider/taskell - Command-line Kanban board/task manager with support for Trello boards and GitHub projects
sdiehl/wiwinwlh - What I Wish I Knew When Learning Haskell
sdiehl/write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
quchen/articles - Miscellaneous articles. The readme is the table of contents.
purescript/purescript - A strongly-typed language that compiles to JavaScript
polysemy-research/polysemy - :gemini: higher-order, no-boilerplate monads
polux/lambda-diagrams - Animations of lambda term reduction sequences
obsidiansystems/obelisk - Functional reactive web and mobile applications, with batteries included.
nogw/polymorphic-lambda-calculus - System F implementation in Haskell
nikita-volkov/structure-kit - Immutable data structures for all kinds of purposes
namin/higher-rank - Practical type inference for arbitrary-rank types
miguel-nascimento/lambda-calculus - ✈️ My journey to understand Programming Languages
mikesperber/icfp2021 - Functional Software Architecture tutorial at ICFP 2021
mbg/hindley-milner - Template for Hindley-Milner based languages
mauricioabreu/lang-studies -
krispo/awesome-haskell - A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
kmonad/kmonad - An advanced keyboard manager
jgm/pandoc - Universal markup converter
i-am-tom/haskell-exercises - A little course to learn about some of the more obscure GHC extensions.
i-am-tom/papers - I'm trying to learn things in my time away.
haskell-servant/servant - Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
haskell-beginners-2022/course-plan - 📜 Haskell course info, plan, video lectures, slides
haskell/stylish-haskell - Haskell code prettifier
gwern/gwern.net - Site infrastructure for gwern.net (CSS/JS/HS/images/icons). Custom Hakyll website with unique automatic link archiving, recursive tooltip popup UX, dark mode, and typography (sidenotes+dropcaps+admoni
google-research/dex-lang - Research language for array processing in the Haskell/ML family
ghulette/haskell-parser-examples - Examples of a simple parser written in both Parsec and Happy/Alex
fosskers/aura - A secure, multilingual package manager for Arch Linux and the AUR.
fersilva16/haskell-yaml - YAML parser in haskell
eayus/dependent-checker - A minimal dependent type checker.
discord-haskell/discord-haskell - Haskell library for writing Discord bots
digitallyinduced/ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
dandoh/web-haskell-graphql-postgres-boilerplate - Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
coproduto/purelisp - Some day, a purely functional Lisp. Right now? Just a silly prototype.
celsobonutti/types-and-programming-languages - My solutions for the TAPL exercises
caotic123/PomPom-Language - The cuteness implementation of a dependently typed language.
bitemyapp/fp-course - Fork of the original Data61 course to be more Stack friendly
banacorn/agda-language-server - Language Server for Agda
awakesecurity/spectacle - Embedded specification language & model checker in Haskell
ailrk/lambda-cube - Learn PTS by doing
NixOS/cabal2nix - Generate Nix build instructions from a Cabal file
Mesabloo/diagnose - A simple library for reporting compiler/interpreter errors
Holmusk/elm-street - :deciduous_tree: Crossing the road between Haskell and Elm
Guilherme775/tiny-markdown-compiler - a timid markdown compiler written in Haskell.
Gabriella439/nix-diff - Explain why two Nix derivations differ
ChrisPenner/void-space - Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
AndrasKovacs/elaboration-zoo - Minimal implementations for dependent type checking and elaboration
konn/dl-first-principle-tutorial - A record of my struggling of learning Deep Learning, following the tutorial series "10 Days Of Grad: Deep Learning From The First Principles" by Bogdan Penkovsky.
chshersh/iris - 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
haskell/parsec - A monadic parser combinator library
cdepillabout/pretty-simple - pretty-printer for Haskell data types that have a Show instance
ryantm/nixpkgs-update - Updating nixpkgs packages since 2018

Haxe

danielo515/haxe-nvim - Configure NeoVim in Haxe!!! Lua externs for the neovim lua API

Idris

stefan-hoeck/idris2-parser - Total lexer and parser for Idris2
algebraic-sofia/Idris2Noobs - Idris2 para falantes de portugues.
andorp/order-taking - Idris version of Domain Modeling Made Functional Book.

Janet

ianthehenry/bauble.studio - a playground for making 3D art with lisp and math

Java

opensearch-project/OpenSearch - 🔎 Open source distributed and RESTful search engine.
uber/piranha - A tool for refactoring code related to feature flag APIs
openrocket/openrocket - OpenRocket simulation software
boyland/sasylf - Educational Proof Assistant for Type Theory
Shopify/interledger-payment-app-example - An implementation of the Interledger spec through an Android's Payment App
retrooper/packetevents - PacketEvents is a fast and efficient multi-platform packet processing library. Our packet wrappers are easy to use with multi-version support.
react-native-video/react-native-video - A <Video /> component for react-native
SimonHalvdansson/Harmonic-HN - Modern Android client for Hacker News
outsung/expo-dynamic-app-icon - 🤖 Programmatically change the app icon in Expo.
kermitt2/grobid - A machine learning software for extracting information from scholarly documents
LeviAckr/BankOni - BankOni is the project for a stock purchase and sale simulation
RikkaApps/Sui - Modern super user interface implementation on Android.
Mowmaster/Pedestals - A minecraft 1.16+ mod that is made to transport items,fluids,exp, and energy within small networks around a base or area.
apache/groovy - Apache Groovy: A powerful multi-faceted programming language for the JVM platform
logisim-evolution/logisim-evolution - Digital logic design tool and simulator
fnuecke/sedna - Sedna - a pure Java RISC-V emulator.
Darkhax-Minecraft/Bookshelf - A library mod which adds additional code support beyond what is provided by Forge.
wasmerio/wasmer-java - ☕ WebAssembly runtime for Java
mekanism/Mekanism - A mod for Minecraft
apache/tinkerpop - Apache TinkerPop - a graph computing framework
libxzr/KonaBess - A GPU overclock & undervolt tool for sd865 855 888 765 690 750 780G 778G 8G1 8G2
HamburgChimps/apple-notes-liberator - Free your Apple Notes data from Notes.app
dromara/liteflow - Lightweight, fast, stable, and programmable component-based rule engine/process engine. Component reuse, synchronous/asynchronous orchestration, dynamic orchestration, multi-language scripting support
osmandapp/OsmAnd - OsmAnd
thegeekyasian/geo-assist - Geo Assist is a spatial library to manage spatial data in-memory.
aya-prover/aya-dev - ~ Youkai (∞, 1)-Mountain
intergalacticspacehighway/react-native-lockscreen-view -
kdn251/interviews - Everything you need to know to get the job.
WorksApplications/Sudachi - A Japanese Tokenizer for Business
jeremylong/DependencyCheck - OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.
nayuki/QR-Code-generator - High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.
jameshball/osci-render - 〰📺🔊 Synthesizer for making music by drawing objects on an oscilloscope using audio.
qzind/tray - Browser plugin for sending documents and raw commands to a printer or attached device.
dacduong/escpos-printer-simulator - ESC/POS Printer simulator
JoyChou93/java-sec-code - Java web common vulnerabilities and security code which is base on springboot and spring security
ddd-by-examples/library - A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
TomerAberbach/mano-simulator - 🖥️ An assembler and hardware simulator for the Mano Basic Computer, a 16 bit computer.
williamfiset/Algorithms - A collection of algorithms and data structures
vmware/differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not writ
termux/termux-app - Termux - a terminal emulator application for Android OS extendible by variety of packages.
smarr/are-we-fast-yet - Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
react-native-image-picker/react-native-image-picker - :sunrise_over_mountains: A React Native module that allows you to use native UI to select media from the device library or directly from the camera.
ocetnik/react-native-background-timer - Emit event periodically (even when app is in the background)
neerazz/FAANG - Competitive programming questions.
janishar/mit-deep-learning-book-pdf - MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
hneemann/Digital - A digital logic designer and circuit simulator.
francescotescari/XiaoMiToolV2 - XiaomiTool V2 - Modding tool for xiaomi devices
facebook/react-native - A framework for building native applications using React
emanuele-f/PCAPdroid - No-root network monitor, firewall and PCAP dumper for Android
careercup/ctci - Cracking the Coding Interview, 5th Edition
Anuken/Mindustry - The automation tower defense RTS
AndreAle94/moneywallet - An android application that let you track your expenses
rabbitmq/rabbitmq-tutorials - Tutorials for using RabbitMQ in various ways
geekxh/hello-algorithm - 🌍 针对小白的算法训练 | 包括四部分：①.大厂面经 ②.力扣图解 ③.千本开源电子书 ④.百张技术思维导图（项目花了上百小时，希望可以点 star 支持，🌹感谢~）推荐免费ChatGPT使用网站

JavaScript

thesephist/mira - A place for notes, but for the people I keep in touch with
wooorm/lowlight - Virtual syntax highlighting for virtual DOMs and non-HTML things
CanadaHonk/shadow - Shadow is a new novel web engine made (almost) entirely in JS from scratch
RahulSChand/gpu_poor - Calculate GPU memory requirement & breakdown for training/inference of LLM models. Supports ggml/bnb quantization
molefrog/wouter - 🥢 A minimalist-friendly ~1.5KB routing for React and Preact. Nothing else but HOOKS.
jsdom/jsdom - A JavaScript implementation of various web standards, for use with Node.js
googlefonts/fontra - A browser-based font editor
wasmerio/winterjs - Winter is coming... ❄️
vercel/hazel - Lightweight update server for Electron apps
dexie/Dexie.js - A Minimalistic Wrapper for IndexedDB
pranavnt/umix - Let's make the web fun!
btco/qx82 - Tiny Javascript engine for retro games
usebruno/bruno - Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)
commitizen/cz-cli - The commitizen command line utility. #BlackLivesMatter
jantimon/html-webpack-plugin - Simplifies creation of HTML files to serve your webpack bundles
filerjs/filer - Node-like file system for browsers
Phrogz/svg-path-to-polygons - Converts path commands for an SVG path to polygon points.
nitin42/react-perf-devtool - A browser developer tool extension to inspect performance of React components.
localtunnel/localtunnel - expose yourself
just-js/just - a very small v8 javascript runtime
RafaelGSS/nodejs-bench-operations - Is X faster than Y in Node.js vX.Z?
lawrencehook/remove-youtube-suggestions - A browser extension that removes YouTube suggestions, comments, shorts, and more
CanadaHonk/porffor - a basic wip js aot optimizing wasm compiler in js
ArchGPT/insomnium - Insomnium is a fast local API testing tool that is privacy-focused and 100% local. For testing GraphQL, REST, WebSockets and gRPC. This is a fork of Kong/insomnia
SBoudrias/Inquirer.js - A collection of common interactive command line user interfaces.
bestiejs/benchmark.js - A benchmarking library. As used on jsPerf.com.
janeczku/calibre-web - :books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
facebookarchive/prepack - A JavaScript bundle optimizer.
mozilla/narcissus - INACTIVE - http://mzl.la/ghe-archive - The Narcissus meta-circular JavaScript interpreter
NeilFraser/JS-Interpreter - A sandboxed JavaScript interpreter in JavaScript.
GoogleChromeLabs/jsvu - JavaScript (engine) Version Updater
Rich-Harris/esrap - Parse in reverse
wangrongding/github-old-feed - Replace the shit💩 new feed with the old one.
sokra/webpack-meetup-2018-05 - Application for the meetup talk
Shopify/function-examples -
Shopify/tokengating-example-app - A Shopify example app that creates and enforces tokengated product discounts, written in Node.js
EmNudge/watlings - Learn WebAssembly by writing small programs!
s-blu/obsidian_dataview_example_vault - A example vault to collect and showcase various dataview queries. Created on behalf of AB1908
hakimel/reveal.js - The HTML Presentation Framework
KaTeX/KaTeX - Fast math typesetting for the web.
mrousavy/clean-rn - A simple CLI tool to clean all React Native caches in your project.
dnakov/little-rat - 🐀 Small chrome extension to monitor (and optionally block) other extensions' network calls
nginxinc/nginx-openid-connect - Reference implementation of OpenID Connect integration for NGINX Plus
dessant/web-archives - Browser extension for viewing archived and cached versions of web pages, available for Chrome, Edge and Safari
perry-mitchell/ulidx - ULID generator for NodeJS and the browser
Xe/nixexpr - Nix expressions for JavaScript
brendan-duncan/webgpu_recorder - WebGPU debugging tool for recording and playing back of WebGPU commands.
anseki/plain-draggable - The simple and high performance library to allow HTML/SVG element to be dragged.
daquinoaldo/https-localhost - HTTPS server running on localhost
kinngh/shopify-node-express-mongodb-app - An embedded Shopify app starter template made with Node, Express, React and Vite, with all the required stuff hooked up.
tshemsedinov/wasm-import - WASM Import for Node.js and Web
Shopify/shopify-app-template-node -
Shopify/shopify-app-examples -
bytenode/bytenode - A minimalist bytecode compiler for Node.js
videojs/mux.js - Lightweight utilities for inspecting and manipulating video container formats.
sindresorhus/log-update - Log by overwriting the previous output in the terminal. Useful for rendering progress bars, animations, etc.
infiniteluke/components-as-data-presentation - Components as Data: A Cross Platform GraphQL Powered Component API
jneen/parsimmon - A monadic LL(infinity) parser combinator library for javascript
KevinGimbel/eleventy-plugin-mermaid - Integrate Mermaid with eleventy (11ty)
matthewp/astro-fastify - A Fastify adapter for Astro
elastic/elasticsearch-js-mock - Mock utility for the Elasticsearch's Node.js client
suyalcinkaya/onur.dev - ✦ My personal website built using Next.js, Tailwind CSS, shadcn/ui, Contentful, Raindrop, Supabase and deployed on Vercel.
voxpelli/markdown-or-chalk - Prints through a single interface as Chalk enhanced CLI output or as Markdown
sudo-suhas/elastic-builder - A Node.js implementation of the elasticsearch Query DSL :construction_worker:
css-doodle/css-doodle - 🎨 A web component for drawing patterns with CSS.
edemaine/beancount - Count number of papers and coauthors via DBLP
airbnb/javascript - JavaScript Style Guide
workout-lol/workout-lol - A simple way to create a workout plan
SGrondin/bottleneck - Job scheduler and rate limiter, supports Clustering
jvns/nginx-playground -
stedolan/counterexamples - Counterexamples in Type Systems
ardatan/json-bigint-patch - JSON.parse/stringify with bigints support
drwpow/responsive-typography - An easy, responsive, universal typographic scale for the web powered by CSS variables
wesbos/awesome-uses - A list of /uses pages detailing developer setups, gear, software and configs.
port-labs/port-docs - The open-source repo for docs.getport.io
sindresorhus/globby - User-friendly glob matching
bigskysoftware/_hyperscript - a small scripting language for the web
carbon-app/carbon - :black_heart: Create and share beautiful images of your source code
vercel/title - A service for capitalizing your title properly
mdn/samples-server - MDN samples server; used for samples that can't be hosted in-place on MDN, plus back-end server-side code for samples that need it.
tandasat/hvext - The Windbg extension that implements commands helpful to study Hyper-V on Intel processors.
BrowserBox/BrowserBox - :cyclone: BrowserBox is Web application virtualization via zero trust remote browser isolation and secure document gateway technology. Embed secure unrestricted webviews on any device in a regular web
wooorm/devlop - do things in development and nothing otherwise
wukko/cobalt - save what you love
bytecodealliance/componentize-js - JS -> WebAssembly Component
vituum/vituum - ⚡⚙️ Fast Prototyping with Template Engines in Vite. Small and fast static site generator for Vite.
faressoft/terminalizer - 🦄 Record your terminal and generate animated gif images or share a web player
harlan-zw/unlighthouse - Scan your entire site with Google Lighthouse in 2 minutes (on average). Open source, fully configurable with minimal setup.
orestbida/cookieconsent - :cookie: Simple cross-browser cookie-consent plugin written in vanilla js
johnsidi/scripts-for-Obsidian-Better-PDF-Plugin -
rauchg/how-is-this-not-illegal - A demo of using RSC and Vercel Postgres, legally
igorshubovych/markdownlint-cli - MarkdownLint Command Line Interface
twosixlabs/d3-force-reuse - Faster force-directed graph layouts by reusing force approximations
pastelsky/bundlephobia - 🏋️ Find out the cost of adding a new frontend dependency to your project
cblgh/trustnet - a flexible and distributed system for deriving, and interacting with, computational trust
boywithkeyboard/log - 🪵 A smart way of managing changes.
lelinhtinh/de4js - JavaScript Deobfuscator and Unpacker
siddharthkp/bundlesize - Keep your bundle size in check
webisora/displaying-pdf-using-react - Displaying PDF in React using react-pdf
tsayen/dom-to-image - Generates an image from a DOM node using HTML5 canvas
benrayfield/wikibinator203 - A kind of number. Build anything by drag-and-drop of a universal combinator (lambda). GPU. Streaming. Massively multiplayer. Peer to peer. Experimenting, TODO..A fork-editable multiverse of all possib
homanp/superagent - 🥷 The open framework for building AI Assistants
chartjs/Chart.js - Simple HTML5 Charts using the <canvas> tag
GoogleChromeLabs/extension-update-testing-tool - Tool for testing the update flow for Chrome Extensions during development, including permission grants.
showdownjs/showdown - A bidirectional Markdown to HTML to Markdown converter written in Javascript
jaredreich/pell - 📝 the simplest and smallest WYSIWYG text editor for web, with no dependencies
guybedford/es-module-lexer - Low-overhead lexer dedicated to ES module parsing for fast analysis
upgundecha/howtheysre - A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
raunofreiberg/interfaces - A non-exhaustive list of details that make a good web interface.
jerosoler/Drawflow - Simple flow library 🖥️🖱️
sigalor/whatsapp-web-reveng - Reverse engineering WhatsApp Web.
leeoniya/uPlot - 📈 A small, fast chart for time series, lines, areas, ohlc & bars
sverweij/dependency-cruiser - Validate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
VictorTaelin/MiniPaper - shorten long papers with GPT-4
crutchcorn/cli-testing-library - 🐨 Simple and complete CLI testing utilities that encourage good testing practices.
vanjs-org/van - 🍦 VanJS: World's smallest reactive UI framework. Incredibly Powerful, Insanely Small - Everyone can build a useful UI app in an hour.
adryd325/oneko.js - cat follow mouse (real). Browser port of the classic xneko/oneko program. Issues temporarily disabled due to mental health issues related to maintaining open source projects.
tc39/proposal-type-annotations - ECMAScript proposal for type syntax that is erased - Stage 1
vincentmvdm/for-me-page - Arc Boost that removes bad tweets using AI.
PrismarineJS/minecraft-data - Language independent module providing minecraft data for minecraft clients, servers and libraries.
Stremio/enginefs - simple layer to use and manage P2P streaming engines - used in Stremio
sveltejs/svelte - Cybernetically enhanced web apps
transloadit/uppy - The next open source file uploader for web browsers :dog:
windmill-labs/windmill - Open-source developer platform to turn scripts into workflows and UIs. Open-source alternative to Airplane and Retool.
chalk/chalk - 🖍 Terminal string styling done right
web-std/io - Web standard IO APIs implemented for nodejs
oelin/midjourney-reborn - A Discord bot for all your Midjourney needs 🔥.
exbotanical/beacon - Various experiments automating user analytics via low-resource web beacons.
pashpashpash/vault-ai - OP Vault ChatGPT: Give ChatGPT long-term memory using the OP Stack (OpenAI + Pinecone Vector Database). Upload your own custom knowledge base files (PDF, txt, epub, etc) using a simple React frontend.
obsidianmd/obsidian-developer-docs -
brh55/react-native-masonry - :raised_hands: A pure JS react-native component to render a masonry~ish layout for images with support for dynamic columns, progressive image loading, device rotation, on-press handlers, and headers/
nubank/morse - A graphical, interactive tool for browsing Clojure data
felippe-regazio/1post - A tiny, fast and fun static site generator for quick blogging
drcmda/react-three-offscreen -
rollup/rollup - Next-generation ES module bundler
relative-ci/bundle-stats - Analyze bundle stats(bundle size, assets, modules, packages) and compare the results between different builds. Support for webpack, rspack, rollup and vite.
0hq/WebGPT - Run GPT model on the browser with WebGPU. An implementation of GPT inference in less than ~1500 lines of vanilla Javascript.
latitudegames/GPT-3-Encoder - Javascript BPE Encoder Decoder for GPT-2 / GPT-3
bigskysoftware/htmx - </> htmx - high power tools for HTML
vercel/next.js - The React Framework
tblobaum/pixel-tracker - a simple pixel tracker for node.js
dockwa/openpixel - Openpixel is a customizable library for building web tracking pixels.
vincelwt/chatgpt-mac - ChatGPT for Mac, living in your menubar.
Vincit/tarn.js - Simple and robust resource pool for node.js
Significant-Gravitas/AutoGPT - An experimental open-source attempt to make GPT-4 fully autonomous.
josephrocca/gpt-2-3-tokenizer - GPT-2/3 tokenizer based on @latitudegames/GPT-3-Encoder that works in the browser and Deno
thesephist/tabloid - A minimal programming language inspired by clickbait headlines
uber/react-digraph - A library for creating directed graph editors
climech/typing-practice - A simple web app for practicing touch-typing
platformatic/platformatic - Platformatic Open Source monorepo!
o0x-0o/problems - My solutions to LeetCode, Project Euler and competitive programming problems
microsoft/TypeScript-wiki - A repository to make changes to the TypeScript Wiki on GitHub
lukeed/totalist - A tiny (195B to 224B) utility to recursively list all (total) files in a directory
insulineru/ai-commit - ✨ Make commits easier with ChatGPT, Gitmoji and Conventional Commits 🚀
migueravila/Bento - 🍱 The minimalist, elegant and hackable startpage.
vercel/nft - Node.js dependency tracing utility
edemaine/mathcestor - Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
naugtur/debugging-aid - Experimental tools for debugging Node.js apps without pausing
node-inspector/node-inspector - Node.js debugger based on Blink Developer Tools
Automattic/mongoose - MongoDB object modeling designed to work in an asynchronous environment.
lukeed/clsx - A tiny (228B) utility for constructing className strings conditionally.
yaronn/blessed-contrib - Build terminal dashboards using ascii/ansi art and javascript
visionmedia/node-progress - Flexible ascii progress bar for nodejs
siliconwitchery/web-bluetooth-repl - Web Bluetooth based MicroPython REPL
sebmarkbage/art - Retained mode vector drawing API designed for multiple output modes. There's also a built-in SVG parser.
parcel-bundler/parcel - The zero configuration build tool for the web. 📦🚀
janhuenermann/neurojs - A JavaScript deep learning and reinforcement learning library.
developit/microbundle - 📦 Zero-configuration bundler for tiny modules.
i18next/next-13-app-dir-i18next-example - Next.js 13 app directory feature in combination with i18next
geops/next-nginx-routes -
deco-sites/woovi-store - Powered by deco.cx
yarnpkg/yarn - The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry
jakearchibald/svgomg - Web GUI for SVGO
syntax-tree/hast-util-from-html-isomorphic - hast utility that turns HTML into a syntax tree (while being small in browsers)
yjs/yjs - Shared data types for building collaborative software
marmelab/EventDrops - A time based / event series interactive visualization using d3.js
Rezmason/matrix - matrix (web-based green code rain, made with love)
1egoman/debundle - :card_file_box: A javascript debundler. Takes a Browserify or Webpack bundle and recreates the initial, pre-bundled source.
edumaciel10/zx-automations -
jonschlinkert/gray-matter - Smarter YAML front matter parser, used by metalsmith, Gatsby, Netlify, Assemble, mapbox-gl, phenomic, vuejs vitepress, TinaCMS, Shopify Polaris, Ant Design, Astro, hashicorp, garden, slidev, saber, s
bukinoshita/taskr - A simple task manager app
xenova/transformers.js - State-of-the-art Machine Learning for the web. Run 🤗 Transformers directly in your browser, with no need for a server!
sorbayhq/sorbay - Open source asynchronous video communication
zenorocha/clipboard.js - :scissors: Modern copy to clipboard. No Flash. Just 3kb gzipped :clipboard:
matdombrock/sllm - A command line interface for the OpenAI LLMs.
feross/spoof - Easily spoof your MAC address in macOS, Windows, & Linux!
agentcooper/amsterdam-art - Historical paintings of Amsterdam on a map
matschik/component-party.dev - 🎉 Web component JS frameworks overview by their syntax and features
zloirock/core-js - Standard Library
cburgmer/xmlserializer - xmlserializer serializes a DOM subtree or DOM document into XML/XHTML
dodo/node-canvas-svg - drawing svg on a Canvas in Node.js
cburgmer/rasterizeHTML.js - Renders HTML into the browser's canvas
ykzts/edge-sitemap - Generator of Sitemaps using web standard technology for operation in Edge Computing.
jeansaad/chalet - 🏩 A simple process manager for developers. Start apps from your browser and access them using local domains
grpc/grpc-web - gRPC for Web Clients
mattiasw/ExifReader - A JavaScript Exif info parser.
skiplang/skip - A programming language to skip the things you have already computed
Boshen/javascript-parser-in-rust - A book on writing a JavaScript Parser in Rust
huozhi/devjar - live code runtime for your react project in browser
aFarkas/lazysizes - High performance and SEO friendly lazy loader for images (responsive and normal), iframes and more, that detects any visibility changes triggered through user interaction, CSS or JavaScript without co
osnr/TabFS - 🗄 Mount your browser tabs as a filesystem.
keepassxreboot/keepassxc-browser - KeePassXC Browser Extension
nodejs/undici - An HTTP/1.1 client, written from scratch for Node.js
hashicorp/nextjs-bundle-analysis - A github action that provides detailed bundle analysis on PRs for next.js apps
google/swissgl - SwissGL is a minimalistic wrapper on top of WebGL2 JS API. It's designed to reduce the amount of boilerplate code required to manage GLSL shaders, textures and framebuffers when making procedural visu
fraunhoferfokus/JSum - Consistent checksum calculation of JSON objects.
webgpu/webgpu-debugger -
WebReflection/signal - An extremely basic signals implementation.
andrewiggins/gz-heatmap - Produce a heatmap of gzip files to better understand how gzip compresses your code
keaukraine/webgl-fur - WebGL 2.0 fur demo
flopp/activities - Your self-hosted activities overview (running, cycling, ...). Synced with Strava.
jshttp/mime-db - Media Type Database
oblador/react-native-animatable - Standard set of easy to use animations and declarative transitions for React Native
pissang/claygl - A WebGL graphic library for building scalable Web3D applications
pissang/clay-viewer - 3D model viewer with high quality rendering and glTF2.0/GLB export
goldbergyoni/javascript-testing-best-practices - 📗🌐 🚢 Comprehensive and exhaustive JavaScript & Node.js testing best practices (July 2023)
americanexpress/jest-image-snapshot - ✨ Jest matcher for image comparisons. Most commonly used for visual regression testing.
unifiedjs/unified - ☔️ interface for parsing, inspecting, transforming, and serializing content through syntax trees
overleaf/overleaf - A web-based collaborative LaTeX editor
fabiospampinato/uint8-concat - Concatenate mutiple Uint8Arrays super efficiently.
WebReflection/nonchalance - The easiest way to augment DOM builtin elements.
ramesaliyev/trigonoparty - Simple Trigonometry Visualisation with Pure JavaScript.
multiformats/js-multiformats - Multiformats interface (multihash, multicodec, multibase and CID)
ciderapp/Cider - A new cross-platform Apple Music experience based on Electron and Vue.js written from scratch with performance in mind. 🚀
onikienko/use-chrome-storage - React hooks for chrome.storage. You may use it for keeping global state in chrome extensions.
lucaong/minisearch - Tiny and powerful JavaScript full-text search engine for browser and Node
roman01la/threegn - Procedural 3D graphics editor for the web
lezer-parser/python - A Python parser for Lezer
posthtml/htmlnano - Modular HTML minifier, built on top of the PostHTML
greggman/twgl.js - A Tiny WebGL helper Library
davidmarkclements/rfdc - Really Fast Deep Clone
thlorenz/deoptigate - ⏱️ Investigates v8/Node.js function deoptimizations.
gskril/raycast-commands - Personal script commands for Raycast
Eomm/notion-board - Monitor your modules and repositories from Notion
blinpete/wiki-graph - A graph client for Wikipedia.
benjamminf/warpjs - Warp, distort, bend, twist and smudge your SVG’s directly in the browser
marcusolsson/obsidian-plugin-docs - Unofficial documentation for Obsidian plugin development.
mattdesl/webgl-wireframes - Stylized Wireframe Rendering in WebGL
be5invis/Iosevka - Versatile typeface for code, from code.
eshaz/simple-yenc - Minimalist JavaScript binary string encoder / decoder with 1-2% overhead, compared to 33%-40% overhead for 6-bit encoding methods like Base64.
mermaid-js/mermaid - Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
bfirsh/jsnes - A JavaScript NES emulator.
replicate/paint-by-text - A microsite for InstructPix2Pix
2do2go/json-sql - Node.js library for mapping mongo-style query objects to SQL queries.
RootbeerComputer/backend-GPT -
varunshenoy/GraphGPT - Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️‍♂️
rstacruz/nprogress - For slim progress bars like on YouTube, Medium, etc
automerge/automerge - A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Cryptogenic/PS5-IPV6-Kernel-Exploit - An experimental webkit-based kernel exploit (Arb. R/W) for the PS5 on <= 4.51FW
illustrated-machine-learning/illustrated-machine-learning.github.io - Website containing illustrations about Machine Learning theory!
jmforsythe/Git-Heat-Map - Visualise a git repository by diff activity
fatihturgut/react-tilemaps-examples - Examples of 2D tile maps implementation with React
varunshenoy/coauthor - Convert natural language to LaTeX within Overleaf using LLMs
BradNeuberg/hyperscope - Re-implementation of part of Douglas Engelbart's Augment system onto the web
syxanash/syxanash.github.io - my personal website
salesforce-ux/design-system - Salesforce Lightning Design System
uhop/stream-json - The micro-library of Node.js stream components for creating custom JSON processing pipelines with a minimal memory footprint. It can parse JSON files far exceeding available memory streaming individua
leeoniya/uFuzzy - A tiny, efficient fuzzy search that doesn't suck
robbykraft/Origami - computational origami
typesense/typesense-js - JavaScript / TypeScript client for Typesense
lukeed/semiver - A tiny (153B) utility to compare semver strings.
terser/terser - 🗜 JavaScript parser, mangler and compressor toolkit for ES6+
fand/md2hatena - Markdown to Hatena Syntax converter
diegomura/react-pdf - 📄 Create PDF files using React
styled-components/polished - A lightweight toolset for writing styles in JavaScript ✨
mozilla/webextension-polyfill - A lightweight polyfill library for Promise-based WebExtension APIs in Chrome
gpujs/gpu.js - GPU Accelerated JavaScript
datastructures-js/graph - ☸️ Graph & Directed Graph implementation in javascript
dosyago/DownloadNet - 💾 DownloadNet - All content your browse online available offline. Search through the full-text of all pages in your browser history. ⭐️ Star to support our work!
NickColley/semaphore - Accessible, simple and fast web client for Mastodon
seshchat/ass - 📱 Mock server for App / Play Store screensots
zehfernandes/brazilianswhodesign - is a place to showcase the work of talented Brazilian designers to the world.
willmcpo/body-scroll-lock - Body scroll locking that just works with everything 😏
hisschemoller/music-pattern-generator - Javascript MIDI Music Pattern Generator
shuding/cc - Shu's Creative Coding template.
facebook/jscodeshift - A JavaScript codemod toolkit.
danilowoz/create-content-loader - ✏️ Tool to create your own react-content-loader easily.
rive-app/rive-wasm - Wasm/JS runtime for Rive
alexcrist/ballmer-peak - A website that creates a schedule for those attempting to climb the ballmer peak
d3/d3-ease - Easing functions for smooth animation.
madzadev/cropper - ✂ An online image cropper for content creators
syntax-tree/hast-util-to-jsx-runtime - hast utility to transform to preact, react, solid, svelte, vue, etc
React-Proto/react-proto - :art: React application prototyping tool for developers and designers :building_construction:
ClassicOldSong/undom-ng - The Next Gen minimally viable DOM Document implementation
mrdoob/three.js - JavaScript 3D Library.
lovell/sharp - High performance Node.js image processing, the fastest module to resize JPEG, PNG, WebP, AVIF and TIFF images. Uses the libvips library.
tbranyen/diffhtml - diffHTML is a web framework that helps you build applications and other interactive content
herber/morphist - ⚡️🎭 [WIP] Tiny dom morphing library
patrick-steele-idem/morphdom - Fast and lightweight DOM diffing/patching (no virtual DOM needed)
choojs/nanomorph - 🚅 - Hyper fast diffing algorithm for real DOM nodes
alyssaxuu/motionity - The web-based motion graphics editor for everyone 📽
QBobWatson/gt-linalg - Interactive Linear Algebra, free online textbook at Georgia Tech
controversial/wikipedia-map - A web app for visualizing the connections between Wikipedia pages.
facebook/lexical - Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.
PavelDoGreat/WebGL-Fluid-Simulation - Play with fluids in your browser (works even on mobile)
andreadev-it/stacking-contexts-inspector - Documentation and source for the CSS Stacking Contexts Inspector devtools extension
strapi/strapi - 🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable and developer-first.
open-duelyst/duelyst - Duelyst is a digital collectible card game and turn-based strategy hybrid, developed by Counterplay Games.
kirjavascript/nibblrjr - overengineered IRC bot framework
yargs/yargs-parser - :muscle: the mighty option parser used by yargs
highlightjs/highlight.js - JavaScript syntax highlighter with language auto-detection and zero dependencies.
minimistjs/minimist - parse argument options
rbren/rss-parser - A lightweight RSS parser, for Node and the browser
paulirish/trace.cafe - easy webperf trace sharing
toblotron/praxis-ide - An online IDE for visual programming in Prolog
mapbox/geojson.io - A quick, simple tool for creating, viewing, and sharing spatial data
marudhupandiyang/curl-parser-js - Simple javascript to parse curl command to json
benbjohnson/thesecretlivesofdata - Understanding what your bits do when you're not looking.
mozilla/side-view - An experiment with opening mobile views of pages in the sidebar
doxas/twigl - twigl.app is an online editor for One tweet shader, with gif generator and sound shader, and broadcast live coding.
openhwgroup/programs - Documentation for the OpenHW Group's set of CORE-V RISC-V cores
bitcoinerlab/secp256k1 - A library for performing elliptic curve operations on the secp256k1 curve. It is designed to integrate into the BitcoinJS & BitcoinerLAB ecosystems and uses the audited noble-secp256k1 library. It is
rehypejs/rehype - HTML processor powered by plugins part of the @unifiedjs collective
bldl/array-grouping-impl-tutorial - Making a "guide" on how to implement GroupBy in Spidermonkey following TC39 spec
csstree/csstree - A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations
relayjs/relay-examples - A collection of sample Relay applications
Tablane/tablane - The open platform for seamless management and collaboration.
pagarme/react-payment-card-component - :credit_card: A modern credit card component for React
tcort/markdown-link-check - checks all of the hyperlinks in a markdown text to determine if they are alive or dead
mongo-express/mongo-express - Web-based MongoDB admin interface, written with Node.js and express
stackgpu/Simple-GPU - 🦒 Functional WebGPU
programmerhat/vim-online-editor - Vim Editor. In the Browser
Kong/insomnia - The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.
synzen/MonitoRSS-Clone - Repo to deploy the news-delivering bot MonitoRSS (formerly known as Discord.RSS)
vjeux/mp4-h264-re-encode - Pure re-encoding of an mp4-h264 video file with the web APIs as well as in-depth description of how it works.
ciochetta/lql-parser - parser for my database project
developit/unfetch - 🐕 Bare minimum 500b fetch polyfill.
dynamoose/dynamoose - Dynamoose is a modeling tool for Amazon's DynamoDB
typicode/husky - Git hooks made easy 🐶 woof!
11ty/eleventy-activity-feed - Create one centralized RSS feed for all of the content you create across the web (aggregates from Twitter, RSS, Atom, Mastodon, YouTube)
whizzbbig/Creative-Coding - All the curated creative coding experiments and examples made by me
microfeed/microfeed - a lightweight cms self-hosted on cloudflare, for podcasts, blogs, photos, videos, documents, and curated urls.
Sh3b0/realtime-web - Comparing WebSocket, WebRTC, and WebTransport under packet loss
jvns/manage-boosts - manage mastodon boosts
kens-visuals/markdown-notes-app - In-browser Markdown Editor App built with: NextJS, TailwindCSS and Firebase 👨🏻‍💻📝🔥
vitorbaptista/shellshare - Live terminal broadcasts
Jermolene/TiddlyWiki5 - A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.
TiddlyWiki/TiddlyWikiClassic - TiddlyWiki Classic (not to be confused with TiddlyWiki5: https://github.com/Jermolene/TiddlyWiki5)
mvpstack/helpin - A support ticketing software built with @supabase, @next.js, & @vercel
JedWatson/classnames - A simple javascript utility for conditionally joining classNames together
ciochetta/woovi-challange - repo for solving the woovi challange
yuchi/hooks.macro - ☔️ Babel Macros for automatic React Hooks memoization invalidation
nodejs/node - Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
melonjs/melonJS - a fresh, modern & lightweight HTML5 game engine
WebKit/Speedometer - An open source repository for the Speedometer benchmark
ncase/trust - An interactive guide to the game theory of cooperation
bramses/bramses-highly-opinionated-vault-2023 - A highly opinionated, fully featured Obsidian vault that can get you from Zero to Zettelkasten lickety split!
jimp-dev/jimp - An image processing library written entirely in JavaScript for Node, with zero external or native dependencies.
ncase/nutshell - Make expandable explanations!
fgnass/domino - Server-side DOM implementation based on Mozilla's dom.js
leafac/kill-the-newsletter - Convert email newsletters into Atom feeds
macbre/analyze-css - CSS selectors complexity and performance analyzer
MaggieAppleton/digital-gardeners - Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
stjude/learngenomics.dev - A guided, intuitive introduction to genomics for software engineers. Curated by the community.
estools/esquery - ECMAScript AST query library.
imteekay/frontend-infrastructure - Research on Frontend Infrastructure
apenwarr/blip - A tool for seeing your Internet latency. Try it at http://gfblip.appspot.com/
PipedreamHQ/pipedream - Connect APIs, remarkably fast. Free for developers.
rturk/blog - Personal Blog
jagenjo/litegraph.js - A graph node engine and editor written in Javascript similar to PD or UDK Blueprints, comes with its own editor in HTML5 Canvas2D. The engine can run client side or server side using Node. It allows t
pokusew/nfc-pcsc - Easy reading and writing NFC tags and cards in Node.js
nolanlawson/css-talk-2022 - Talk given in October 2022 for perf.now about CSS runtime performance
adambard/learnxinyminutes-docs - Code documentation written as code! How novel and totally my idea!
Webschool-io/matematica-para-programadores - :pill: Curso de Matemática para programadores.
WardCunningham/remodeling - The original wiki rewritten as a single page application
TomerAberbach/grfn - 🦅 A tiny (~400B) utility that executes a dependency graph of async functions as concurrently as possible.
TheAlgorithms/JavaScript - Algorithms and Data Structures implemented in JavaScript for beginners, following best practices.
SkepticMystic/breadcrumbs - Visualise a custom hierarchy in your Obsidian vault. API: https://skepticmystic.github.io/breadcrumbs/
zoedsoupe/gtransfer - Move some of your google accout data to a new accoount
zadam/trilium - Build your personal knowledge base with Trilium Notes
vitejs/awesome-vite - ⚡️ A curated list of awesome things related to Vite.js
usmanyunusov/nano-staged - Tiny tool to run commands for modified, staged, and committed files in a GIT repository.
typicode/json-server - Get a full fake REST API with zero coding in less than 30 seconds (seriously)
trekhleb/javascript-algorithms - 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings
trebonian/visual6502 - Transistor level 6502 Hardware Simulation in Javascript
tradle/rn-nodeify - hack to allow react-native projects to use node core modules, and npm modules that use them
thesephist/revery - A personal semantic search engine capable of surfacing relevant bookmarks, journal entries, notes, blogs, contacts, and more, built on an efficient document embedding algorithm and Monocle's personal
thechangelog/transcripts - Changelog episode transcripts in Markdown format 📚
tefkah/emacs-docs - The documentation website Emacs deserves
tau-prolog/tau-prolog - An open source Prolog interpreter in JavaScript
susam/muboard - Self-rendering and distributable mathematics chalkboards
spicetify/spicetify-cli - Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.
smallstep/hello-mtls - :wave: Docs demonstrating mutual TLS configurations in various technologies
shutterstock/node-common-errors - Common error classes and utility functions
shelljs/shelljs - :shell: Portable Unix shell commands for Node.js
sapegin/mrm - Codemods for your project config files
ryanmcdermott/clean-code-javascript - :bathtub: Clean Code concepts adapted for JavaScript
ryanmcdermott/3rs-of-software-architecture - A guide on how to write readable, reusable, and refactorable software
rse/astq - Abstract Syntax Tree (AST) Query Engine
resume/resume.github.com - Resumes generated using the GitHub informations
renato-bohler/logossim - Digital logic simulator, built to be extensible
react-syntax-highlighter/react-syntax-highlighter - syntax highlighting component for react with prismjs or highlightjs ast using inline styles
rajasegar/ast-node-builder - AST Node building api for jscodeshift
rajasegar/ast-finder - jscodeshift find api automatically generated from code
rajasegar/ast-tooling - Monorepo for all AST tooling
rafasanmartinez/relay-client-guide - Sorted examples to illustrate the use of Relay following Relay's Documentation. Samples go from getting started to more complex ones as I get experience. Each sample can be found as a label in the rep
publiusfederalist/federalist - Access files on the decentralized, unblockable torrent swarm and visit links using Handshake domains. Decentralized internet is here.
pomber/didact - A DIY guide to build your own React
pmndrs/gltfjsx - 🎮 Turns GLTFs into JSX components
parallel-js/parallel.js - Easy multi-core processing utilities for Node.
pahen/madge - Create graphs from your CommonJS, AMD or ES6 module dependencies
not-an-aardvark/git-delete-squashed - Delete branches that have been squashed and merged into main
mmazzarolo/react-native-universal-monorepo - React Native boilerplate supporting multiple platforms: Android, iOS, macOS, Windows, web, browser extensions, Electron.
ondras/rot.js - ROguelike Toolkit in JavaScript. Cool dungeon-related stuff, interactive manual, documentation, tests!
ocaml-sf/learn-ocaml - A Web Application for Learning OCaml
nunes22/adaptflex - Adaptive ReasonML Design System
novnc/noVNC - VNC client web application
nolanlawson/fuite - A tool for finding memory leaks in web apps
nosir/cleave.js - Format input text content when you are typing...
npretto/pathfinding - Visual explanation of pathfinding algorithms and how a*, Dijkstra and BFS can be seen as the same algorithm with different parameter/data structures used under the hood
microsoft/TypeScript-Compiler-Notes - A repo containing notes about the TypeScript Compiler codebase
nfriedly/set-cookie-parser - Parse HTTP set-cookie headers in JavaScript
niespodd/browser-fingerprinting - Analysis of Bot Protection systems with available countermeasures 🚿. How to defeat anti-bot system 👻 and get around browser fingerprinting scripts 🕵️‍♂️ when scraping the web?
nikitavoloboev/knowledge - Everything I know
moonad/Moonad - Moonad: a p2p academic journal, or a social network for code?
naturalcrit/homebrewery - Create authentic looking D&D homebrews using only markdown
nativew/nativeweb - 🤳 Tiny library for simple web components. [1kB]
mafintosh/ims - Install My Stuff - an opinionated npm module installer
maykbrito/screenboard - 👨🏾‍🏫 It's a overlay blackboard on your screen
mechaniac/Map-of-Javascript - Javascript on one sheet. (and one for algorithms)
markerikson/react-community-tools-practices-cheatsheet - Descriptions and use cases for common tools and practices in the React community
leebyron/til - Today I Learned
leanprover/theorem_proving_in_lean4 - Theorem Proving in Lean 4
lambda-study-group/Functional-Light-JS - Tradução para o português do livro Functional Light JS
kriskowal/gtor - A General Theory of Reactivity
koajs/cash - HTTP response caching for Koa. Supports Redis, in-memory store, and more!
knaxus/problem-solving-javascript - :fire: Crack you JS interviews ⚡ Collection of most common JS Interview questions with Unit Tests 🚀
khaosdoctor/my-notes - :memo: Just a repo with my study notes. A simple notebook
kentcdodds/advanced-react-patterns - This is the latest advanced react patterns workshop
kentcdodds/bookshelf - Build a ReactJS App workshop
jsverify/jsverify - Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.
js-cookie/js-cookie - A simple, lightweight JavaScript API for handling browser cookies
jordwalke/paradoc - One Click Docs
jondot/hygen - The simple, fast, and scalable code generator that lives in your project.
jondot/awesome-react-native - Awesome React Native components, news, tools, and learning material!
joaolucasl/proposal-array-prototype-partition - A TC39 proposal for an utility function that returns two arrays based on the items' conformity to a predicate.
jethrokuan/srsly - Spaced-repetition using Hypothes.is
jest-community/snapshot-diff - Diffing snapshot utility for Jest
jeffpar/pcjs - The original IBM PC and other machine emulations in JavaScript
anabastos/node4noobs - Repo para aprender NodeJS!
jamiebuilds/the-super-tiny-compiler - :snowman: Possibly the smallest compiler ever
jakesgordon/javascript-state-machine - A javascript finite state machine library
jacklam718/react-native-modals - A react native modals library. Swipeable. Highly customizable. Support multi modals & Support custom animation. For IOS & Android.
j4g3/computer-controller - Set of software to control computer remotely
isomorphic-git/isomorphic-git - A pure JavaScript implementation of git for node and browsers!
ipfs/awesome-ipfs - Community list of awesome projects, apps, tools, and services related to IPFS.
ipfs/ipfs-desktop - An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.
iamkun/dayjs - ⏰ Day.js 2kB immutable date-time library alternative to Moment.js with the same modern API
iamadamdev/bypass-paywalls-chrome - Bypass Paywalls web browser extension for Chrome and Firefox.
iaddis/metalnes - Transistor level NES simulation
humanwhocodes/computer-science-in-javascript - Collection of classic computer science paradigms, algorithms, and approaches written in JavaScript.
hiroppy/fusuma - ✍️Fusuma makes slides with Markdown easily.
helderberto/maximus - ⚔️ Lightweight functional JavaScript utilities.
hasura/learn-graphql - Real world GraphQL tutorials for frontend developers with deadlines!
ohmjs/ohm - A library and language for building parsers, interpreters, compilers, etc.
hackerkid/Mind-Expanding-Books - :books: Find your next book to read!
guilherssousa/hookpedia - 🎣 Um website/repositório open source de React Hooks voltado para a comunidade brasileira!
guigrpa/oao - A Yarn-based, opinionated monorepo management tool
gragland/usehooks - Easy to understand React Hook code recipes
goabstract/Awesome-Design-Tools - The best design tools and plugins for everything 👉
git-tips/tips - Most commonly used git tips and tricks.
gatsbyjs/gatsby - The best React-based framework with performance, scalability and security built in.
fersilva16/pr-ts-report-action-test - Report TS errors in PRs with a GitHub Action
felipernb/algorithms.js - Atwood's Law applied to CS101 - Classic algorithms and data structures implemented in JavaScript
felipe-augusto/clean-code-javascript - Conceitos de Código Limpo adaptados em JavaScript (Tradução PT-BR)
fantasyland/fantasy-land - Specification for interoperability of common algebraic structures in JavaScript
facebook/react - The library for web and native user interfaces.
fabiospampinato/secret - The simplest command to encrypt/decrypt a file, useful for committing encrypted ".env" files to version control, among other things.
express-labs/pure-react-carousel - A highly impartial suite of React components that can be assembled by the consumer to create a carousel with almost no limits on DOM structure or CSS styles. If you're tired of fighting some other de
evinism/lambda-explorer - Tutorial / REPL for the lambda calculus
evilsoft/crocks - A collection of well known Algebraic Data Types for your utter enjoyment.
ergogen/ergogen - Ergonomic keyboard layout generator
eps1lon/types-react-codemod - Collection of transforms for jscodeshift related to @types/react
elias-sundqvist/obsidian-annotator - A plugin for reading and annotating PDFs and EPUBs in obsidian.
effectsjs/effectsjs - Algebraic Effects in Javascript
drivly/state.do - Finite State Machine implementation with Durable Objects
dmarman/sha256algorithm - Sha256 Algorithm Explained
diegohaz/awesome-react-context - 😎 A curated list of stuff related to the new React Context API
developit/greenlet - 🦎 Move an async function into its own thread.
denysdovhan/wtfjs - 🤪 A list of funny and tricky JavaScript examples
daniloab/rbaf-graphql-api - Backend GraphQL Server.
chrisgrieser/shimmering-obsidian - Alfred Workflow with dozens of features for controlling your Obsidian vault.
cezaraugusto/You-Dont-Know-JS - 📗📒 (PT-Br translation) JS Book Series.
camilatigre/listamaravilhosaopensource - Lista com links de projetos open-source para os níveis: iniciante, intermediário e avançado. Dividido por linguagem e idiomas!
brunon80/expo-image-crop - Crop and rotate image without detach your expo project!
browsh-org/browsh - A fully-modern text-based browser, rendering to TTY and browsers
browserslist/browserslist - 🦔 Share target browsers between different front-end tools, like Autoprefixer, Stylelint and babel-preset-env
brownie-in-motion/hn-adblock - a Chrome extension that removes "[company] is hiring" ads on https://news.ycombinator.com/.
benweet/stackedit - In-browser Markdown editor
bbbbx/webgpu-compute - A mini demo(~100 LOC) shows the WebGPU compute pipeline. Chrome 105+ only
arkenfox/user.js - Firefox privacy, security and anti-tracking: a comprehensive user.js template for configuration and hardening
antsmartian/lets-build-express - This repo contains chapters which explains how one can build a minimal express library.
antonioru/beautiful-react-hooks - 🔥 A collection of beautiful and (hopefully) useful React hooks to speed-up your components and hooks development 🔥
anabastos/matematica-para-programadores - :pill: Curso de Matemática para programadores.
alyssaxuu/omni - The all-in-one tool to supercharge your productivity ⌨️
alphapapa/emacs-package-dev-handbook - An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.
ai/nanoid - A tiny (130 bytes), secure, URL-friendly, unique string ID generator for JavaScript
advplyr/audiobookshelf - Self-hosted audiobook and podcast server
Rich-Harris/degit - Straightforward project scaffolding
Nozbe/WatermelonDB - 🍉 Reactive & asynchronous database for powerful React and React Native apps ⚡️
MostlyAdequate/mostly-adequate-guide - Mostly adequate guide to FP (in javascript)
LinusU/ts-readme-generator - Generate API documentation straight into the Readme file from TypeScript typings
LeonardoCesca/js-docs - Este projeto foi desenvolvido para contribuir com o open-source. Se você quiser contribuir basta seguir o README
LeCoupa/awesome-cheatsheets - 👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
Kristories/awesome-guidelines - A curated list of high quality coding style conventions and standards.
Khan/pull-request-comment-trigger - A github action for detecting a "trigger" in a pull request description or comment
Heydon/inclusive-design-checklist - Aims to be the biggest checklist of inclusive design considerations ever
GantMan/react-native-siren - The React Native port of the popular Siren / Harpy Pod and hopefully Gradle
Gabriel-Valin/estrutura-de-dados-js - The basics data structures implemented with javascript.
Flagsmith/react-native-performance-monitor - React Native Performance Monitor - Realtime graphing of React Native render performance
Fantom-foundation/Artion-Client - Client app for Artion, a global NFT marketplace on Fantom Opera.
Fannon/search-bookmarks-history-and-tabs - Browser extension to search and navigate browser tabs, local bookmarks and history.
ErickWendel/livereload-nodejs-debug-docker - Example to run Node.js in debug mode inside a Docker container with livereload enabled!
DmitrySoshnikov/syntax - Syntactic analysis toolkit, language-agnostic parser generator.
DavidWells/advanced-markdown - Learn about advanced markdown techniques
DanielDe/org-web - org-mode on the web, built with React, optimized for mobile, synced with Dropbox and Google Drive
DIYgod/RSSHub - 🍰 Everything is RSSible
Azgaar/Fantasy-Map-Generator - Web application generating interactive and highly customizable maps
Chalarangelo/30-seconds-of-react - Short React code snippets for all your development needs
200ok-ch/organice - An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers
1History/1History - All your history in one file.
italosantana/plataform-event-rs - platform events tech using typescript template and relay
jaywcjlove/awesome-mac -  Now we have become very big, Different from the original idea. Collect premium software in various categories.
davidsonfellipe/awesome-wpo - :pencil: A curated list of Web Performance Optimization. Everyone can contribute here!
LispCookbook/cl-cookbook - The Common Lisp Cookbook
inframanufaktur/rss-manufaktur - RSS feeds for the masses. Create feeds for sites that have none.
pranavms13/whatsapp-node-api - A Simple NodeJS API Wrapper for WhatsApp
webrcade/webrcade - Feed-driven gaming
Rowno/react-benchmark - A tool for benchmarking the render performance of React components
OhMyGuus/I-Still-Dont-Care-About-Cookies - Debloated fork of the extension "I don't care about cookies"
mailcheck/mailcheck - Reduce misspelled email addresses in your web apps.
ryanburgess/engineer-manager - A list of engineering manager resource links.
developit/htm - Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
NetEase/pomelo - A fast,scalable,distributed game server framework for Node.js.
imteekay/crafting-frontend - Research, studies, and practice on Frontend
yelhouti/escpos-webusb -
SBoudrias/AST-query - Tentative to a simple JavaScript AST modification library
pixelsbyeryc/home-bills - 🌋 [WIP] Minimalistic bill tracker ・ Keep track of your monthly spendings.
lowlighter/metrics - 📊 An infographics generator with 30+ plugins and 300+ options to display stats about your GitHub account and render them as SVG, Markdown, PDF or JSON!
iptv-org/iptv - Collection of publicly available IPTV channels from all over the world
gautamkrishnar/nothing-private - Do you think you are safe using private browsing or incognito mode?. :smile: :imp: This will prove that you're wrong. Previously hosted at nothingprivate.ml
denkiwakame/arxiv2notion - Chrome extension for clipping arXiv articles to Notion.
junedomingo/react-native-rename - Rename react-native app with just one command
getify/Functional-Light-JS - Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.

Jinja

roderik/speedy-github-actions - A collection of scripts to setup bare metal GHA runners with local caching services
geerlingguy/internet-pi - Raspberry Pi config for all things Internet.

Julia

AlgebraicJulia/GATlab.jl - GATlab: a computer algebra system based on generalized algebraic theories (GATs)
felipenoris/XLSX.jl - Excel file reader and writer for the Julia language.
JuliaGraphs/GraphIO.jl - Graph IO functionality for various formats.
JuliaAI/MLJLinearModels.jl - Generalized Linear Regressions Models (penalized regressions, robust regressions, ...)
JuliaGeometry/Quaternions.jl - A Julia implementation of quaternions
MakieOrg/GraphMakie.jl - Plotting graphs with Makie

Jupyter Notebook

shap/shap - A game theoretic approach to explain the output of any machine learning model.
karpathy/nn-zero-to-hero - Neural Networks: Zero to Hero
jvns/dns-weekend - Code for Implement DNS in a Weekend
TuringLang/TuringTutorials - Educational material and tutorials for the Turing language
facebookresearch/llama-recipes - Examples and recipes for Llama 2 model
elastic/elasticsearch-labs - Elasticsearch Guides, Notebooks & Example Apps for Search Applications
learn-anything/ai - Tasks done by language models exposed as library functions or HTTP endpoints
veekaybee/what_are_embeddings - A deep dive into embeddings starting from fundamentals
spmallick/learnopencv - Learn OpenCV : C++ and Python Examples
mmagnus/rna-tools - 🔧rna-tools: a toolbox to analyze sequences, structures and simulations of RNA (and more) used by RNA CASP, RNA PUZZLES, and me ;-) docs @ http://rna-tools.rtfd.io web @ http://rna-tools.online
z-x-yang/Segment-and-Track-Anything - An open-source project dedicated to tracking and segmenting any objects in videos, either automatically or interactively. The primary algorithms utilized include the Segment Anything Model (SAM) for k
modularml/mojo - The Mojo Programming Language
guidance-ai/guidance - A guidance language for controlling large language models.
google/generative-ai-docs - Documentation for Google's Generative AI developer site
matheusmtta/Quantum-Computing - Projects in Quantum Computing and Quantum information Theory (Qiskit, Algorithms, Circuits, Graph Theory and Quantum Mechanics)
numerai/example-scripts - A collection of scripts and notebooks to help you get started quickly.
MNoichl/philotwitter-map - This code can be used to produce a map of philo-twitter. Or some other community.
facebookresearch/segment-anything - The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
rasbt/machine-learning-book - Code Repository for Machine Learning with PyTorch and Scikit-Learn
ganigithub/ML-Algorithms - Here is my repository which includes various Machine Learning Algorithms in Jupyter Notebook
greshake/llm-security - New ways of breaking app-integrated LLMs
mlc-ai/web-stable-diffusion - Bringing stable diffusion models to web browsers. Everything runs inside the browser with no server support.
tloen/alpaca-lora - Instruct-tune LLaMA on consumer hardware
srush/GPU-Puzzles - Solve puzzles. Learn CUDA.
butuzov/todayilearned - Because I Can't Trust My Memory
srush/raspy - An interactive exploration of Transformer programming.
leandromoreira/digital_video_introduction - A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸
redhat-et/homomorphic-learning - Methodology study for multi-party learning (aka Homomorphic Learning)
tjs23/python_ml_course - Python Programming Machine Learning Course
idlab-discover/wasm-operator - Run k8s operators in wasm to reduce their overhead
chanzuckerberg/software-mentions -
microsoft/AI-For-Beginners - 12 Weeks, 24 Lessons, AI for All!
udlbook/udlbook - Understanding Deep Learning - Simon J.D. Prince
cksystemsteaching/selfie - An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
CompVis/stable-diffusion - A latent text-to-image diffusion model
3dmol/3Dmol.js - WebGL accelerated JavaScript molecular graphics library
veekaybee/viberary - Good books, good vibes
polynote/polynote - A better notebook for Scala (and more)
JerBouma/FinanceDatabase - This is a database of 300.000+ symbols containing Equities, ETFs, Funds, Indices, Currencies, Cryptocurrencies and Money Markets.
fastai/numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
dauparas/ProteinMPNN - Code for the ProteinMPNN paper
SujeethJinesh/DreamBoothMac - A Mac version of Dreambooth, modified from https://github.com/XavierXiao/Dreambooth-Stable-Diffusion
Nyandwi/machine_learning_complete - A comprehensive machine learning repository containing 30+ notebooks on different concepts, algorithms and techniques.
ocamllabs/focs-notebooks - Foundations of Computer Science notebooks
eleanorlutz/asteroids_atlas_of_space - Code, data, and instructions for mapping orbits of asteroids in the solar system
algorithmica-org/algorithmica - A computer science textbook
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers - aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
aeturrell/coding-for-economists - This repository hosts the code behind the online book, Coding for Economists.
nviennot/core-to-core-latency - Measures the latency between CPU cores

Just

0atman/noboilerplate - Code for my talks on the No Boilerplate channel

Kotlin

yairm210/Unciv - Open-source Android/Desktop remake of Civ V
Open-Pix/java-sdk - OpenPix/Woovi Java SDK
mrousavy/react-native-blurhash - 🖼️ A library to show colorful blurry placeholders while your content loads.
alllex/parsus - Parser-combinators with Multiplatform Kotlin Coroutines
roc-streaming/roc-droid - Roc for Android!
tiann/KernelSU - A Kernel based root solution for Android
tuskyapp/Tusky - An Android client for the microblogging server Mastodon
doublesymmetry/react-native-track-player - A fully fledged audio module created for music apps. Provides audio playback, external media controls, background mode and more!
seemoo-lab/AirGuard - Protect yourself from being tracked 🌍 by AirTags 🏷 and Find My accessories 📍
WaxMoon/MultiApp - A customizable virtual Android container/一款可定制的虚拟安卓容器
aripiprazole/ekko - 📘 | Writing Haskell in Kotlin article's project
tachiyomiorg/tachiyomi - Free and open source manga reader for Android.
orgzly/orgzly-android - Outliner for taking notes and managing to-do lists
mhss1/MyBrain - Open-source, All-in-one productivity app for Tasks, Notes, Calendar, Diary and Bookmarks.
ftomassetti/LangSandbox - Project to illustrate how to build a programming language
celzero/rethink-app - DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
ankidroid/Anki-Android - AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
andygrove/how-query-engines-work - This is the companion repository for the book How Query Engines Work.
Kunzisoft/KeePassDX - Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.
KotlinBy/awesome-kotlin - A curated list of awesome Kotlin related stuff Inspired by awesome-java.

LLVM

lac-dcc/honey-potion - Writing eBPF programs with Elixir!
GaloisInc/reopt - A tool for analyzing x86-64 binaries.

Lean

leanprover-community/NNG4 - Natural Number Game
algebraic-sofia/soda - 🥤 | Toy parser combinator
lurk-lab/Wasm.lean - A WebAssembly implementation in Lean4
meoowers/rinha - 🧪 | Rinha de Backend Lean4
meoowers/melp - 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
lecopivo/SciLean - Scientific computing in Lean 4
ImperialCollegeLondon/group-theory-experiments - Lean 4 experiments in undergraduate group theory
ImperialCollegeLondon/M1F-explained - A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
leanprover-community/mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
leanprover/lake - (Deprecated: Merged into Lean 4) Lean 4 build system and package manager with configuration files written in Lean.
brown-cs22/CS22-Lean-2023 - Lean course materials for Brown CS 22, Spring 2023
leanprover-community/lean4-metaprogramming-book -
tchajed/database-stream-processing-theory - Formalization of DBSP
leanprover/lean4 - Lean 4 programming language and theorem prover
algebraic-sofia/lyre - Incomplete LALR(1) DSL for Lean (that compiles to a LR Table but does not compile to lean code lol)
ImperialCollegeLondon/M40001_lean - Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
ImperialCollegeLondon/formalising-mathematics - Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
EdAyers/lean-humanproof-thesis - Implementation of HumanProof system from https://www.edayers.com/thesis
AndrasKovacs/smalltt - Demo for high-performance type theory elaboration
forked-from-1kasper/lean4-categories - Playing with Category Theory in Lean 4
mo271/formal_book - Formalizing "Proofs from THE BOOK"

Liquid

mairacanal/mairacanal.github.io - My personal blog with professional info and posts about the Linux Kernel

Lua

b0o/incline.nvim - 🎈 Floating statuslines for Neovim
lewis6991/gitsigns.nvim - Git integration for buffers
dinhhuy258/git.nvim -
NvChad/nvterm - NvChad's Official Terminal Plugin ( Unmaintained )
EMPAT94/nvim-rss - A simple rss reader plugin for neovim
jdhao/nvim-config - A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...
renerocksai/telekasten.nvim - A Neovim (lua) plugin for working with a markdown zettelkasten / wiki and mixing it with a journal, based on telescope.nvim
natecraddock/workspaces.nvim - a simple plugin to manage workspace directories in neovim
stevearc/conform.nvim - Lightweight yet powerful formatter plugin for Neovim
Roblox/roact - A view management library for Roblox Lua similar to React
leandromoreira/lua-resty-perf - A small ngx resty lua library to benchmark memory and throughput of a function.
YamlEngineer/DevOps.nvim - neovim (@nvchad) configuration for DevOps engineers
nvim-tree/nvim-tree.lua - A file explorer tree for neovim written in lua
nvimdev/guard.nvim - async fast minimalist plugin make format easy in neovim
vigoux/notifier.nvim - Non-intrusive notification system for neovim
caarlos0/dotfiles - my dotfiles, now in nix
RutaTang/quicknote.nvim - Quickly take notes, in-place
folke/paint.nvim - Easily add additional highlights to your buffers
knyar/nginx-lua-prometheus - Prometheus metric library for Nginx written in Lua
mrcjkb/haskell-tools.nvim - Supercharge your Haskell experience in neovim!
aPeoplesCalendar/apc.nvim - Plugin providing "A People's Calendar" for Neovim, written in lua.
ellisonleao/neovimfiles - My Neovim configuration written in Lua
folke/edgy.nvim - Easily create and manage predefined window layouts, bringing a new edge to your workflow
prooheckcp/RobloxStateMachine - A state machine implementation for Roblox. It allows you to easily setup State Machines with States and Transitions!
AstroNvim/astrocommunity - A community repository of common plugin specifications
Bekaboo/dropbar.nvim - IDE-like breadcrumbs, out of the box
wbthomason/dotfiles - My dotfiles
goolord/alpha-nvim - a lua powered greeter like vim-startify / dashboard-nvim
Olical/conjure - Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile)
alpha2phi/neovim-for-beginner - A configuration for Neovim beginners.
EronAlves1996/neovim-dotfiles -
epwalsh/obsidian.nvim - Neovim plugin for Obsidian, written in Lua
folke/zen-mode.nvim - 🧘 Distraction-free coding for Neovim
ThePrimeagen/vim-be-good - vim-be-good is a nvim plugin designed to make you better at Vim Movements.
dan200/ComputerCraft - Programmable Computers for Minecraft
figsoda/nix-develop.nvim - Run nix develop without restarting neovim
copy/dotfiles - https://copy.sh/dotfiles/
ghostbuster91/dot-files -
folke/neoconf.nvim - 💼 Neovim plugin to manage global and project-local settings
MarcusXavierr/dotfiles -
nicknisi/dotfiles - vim, zsh, git, homebrew, neovim - my whole world
laytan/cloak.nvim - Cloak allows you to overlay *'s over defined patterns in defined files.
groverburger/g3d - Simple and easy 3D engine for LÖVE.
folke/lazy.nvim - 💤 A modern plugin manager for Neovim
nvim-telescope/telescope-frecency.nvim - A telescope.nvim extension that offers intelligent prioritization when selecting files from your editing history.
edubart/nelua-lang - Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Rabios/nelua-samples - Collection of samples written in Nelua on my own...
rafamadriz/friendly-snippets - Set of preconfigured snippets for different languages.
craftzdog/dotfiles-public - My personal dotfiles
AstroNvim/AstroNvim - AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins
osyrisrblx/t - A Runtime Typechecker for Roblox
Eandrju/cellular-automaton.nvim - A useless plugin that might help you cope with stubbornly broken tests or overall lack of sense in life. It lets you execute aesthetically pleasing, cellular automaton animations based on the content
Manas140/Zazen.nvim - A Zen Mode with Borders
wbthomason/packer.nvim - A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
VonHeikemen/lsp-zero.nvim - A starting point to setup some lsp related features in neovim.
ye-junzhe/BetterNvim - A Modern Neovim setup, makes nvim an IDE.
stevearc/oil.nvim - Neovim file explorer: edit your filesystem like a buffer
LazyVim/LazyVim - Neovim config for the lazy
declancm/cinnamon.nvim - Smooth scrolling for ANY movement command 🤯. A Neovim plugin written in Lua!
pocco81/true-zen.nvim - 🦝 Clean and elegant distraction-free writing for NeoVim
neovim/nvim-lspconfig - Quickstart configs for Nvim LSP
leandromoreira/cdn-up-and-running - CDN Up and Running - Building a CDN from Scratch to Learn about CDN, Nginx, Lua, Prometheus, Grafana, Load balancing, and Containers.
onsails/lspkind.nvim - vscode-like pictograms for neovim lsp completion items
williamboman/mason.nvim - Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
jesseleite/nvim-noirbuddy - 🖤 A highly customizable minimalist monochromatic colorscheme for Neovim
axieax/urlview.nvim - 🔎 Neovim plugin for viewing all the URLs in a buffer
phaazon/mind.nvim - The power of trees at your fingertips.
jose-elias-alvarez/null-ls.nvim - Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
MunifTanjim/prettier.nvim - Prettier plugin for Neovim's built-in LSP client.
rest-nvim/rest.nvim - A fast Neovim http client written in Lua
lewis6991/impatient.nvim - Improve startup time for Neovim
windwp/nvim-autopairs - autopairs for neovim written by lua
rmagatti/session-lens - A session-switcher extension for rmagatti/auto-session using Telescope.nvim
nvim-telescope/telescope-project.nvim -
roqueando/neovim_dotfiles -
folke/which-key.nvim - 💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 that displays a popup with possible keybindings of the command you started typing.
sile-typesetter/sile - Simon’s Improved Layout Engine
tarantool/tarantool - Get your data in RAM. Get compute close to data. Enjoy the performance.
szorfein/dotfiles - Dotfiles for unix, managed by GNU stow.
rxi/lite - A lightweight text editor written in Lua
romgrk/barbar.nvim - The neovim tabline plugin.
rebelot/kanagawa.nvim - NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.
ray-x/web-tools.nvim - Neovim plugin for web developers
rafcamlet/simple-wiki.nvim - Simple note system via linking markdown files in wiki style
rafcamlet/nvim-whid - Simple plugin for showing files in commit history
peterpme/dotfiles - ᠅ Dotfiles for zsh, tmux, fzf, neovim, git, zprezto, hammerspoon, kitty & more 🔥
ortolanrj/awesome-config - My AwesomeWM config
nyngwang/NeoRoot.lua - Yet another light-weight rooter written in Lua
nvim-lua/kickstart.nvim - A launch point for your personal nvim configuration
nvim-orgmode/orgmode - Orgmode clone written in Lua for Neovim 0.9+.
nvim-telescope/telescope.nvim - Find, Filter, Preview, Pick. All lua, all the time.
nvim-neorg/neorg - Modernity meets insane extensibility. The future of organizing your life in Neovim.
nvim-lualine/lualine.nvim - A blazing fast and easy to configure neovim statusline plugin written in pure lua.
lucastrvsn/wut.nvim - 🍇 highly opinionated neovim personal development environment
kevinhwang91/nvim-ufo - Not UFO in the sky, but an ultra fold in Neovim.
folke/neodev.nvim - 💻 Neovim setup for init.lua and plugin development with full signature help, docs and completion for the nvim lua API.
hrsh7th/nvim-kit - My personal Lua utilities for neovim.
algebraic-sofia/UwU - My UwU awesome config
echasnovski/mini.nvim - Library of 30+ independent Lua modules improving overall Neovim (version 0.7 and higher) experience with minimal effort
classpert/bapl1-class-language - Building a Programming Language - Class Language
bashbunni/dotfiles - My config/dotfiles for tmux, nvim, i3, bla bla bla, nerd things.
andweeb/presence.nvim - Discord Rich Presence for Neovim
akinsho/bufferline.nvim - A snazzy bufferline for Neovim
akinsho/toggleterm.nvim - A neovim lua plugin to help easily manage multiple terminal windows
NvChad/NvChad - Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
NTBBloodbath/cheovim - Neovim configuration switcher written in Lua. Inspired by chemacs.
doom-neovim/doom-nvim - A Neovim configuration for the advanced martian hacker
LunarVim/Neovim-from-scratch - 📚 A Neovim config designed from scratch to be understandable
CosmicNvim/CosmicNvim - CosmicNvim is a lightweight and opinionated Neovim config for web development, specifically designed to provide a 💫 COSMIC programming experience!
AndreiCalazans/nvim - Personal nvim config
7USTIN/dotfiles - ⚙️ Configuration files for my Arch Linux setup
folke/noice.nvim - 💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.
mvllow/modes.nvim - Prismatic line decorations for the adventurous vim user
Maan2003/lsp_lines.nvim -
onsails/diaglist.nvim - Live render workspace diagnostics in quickfix with current buf errors on top, buffer diagnostics in loclist
gpanders/nvim-moonwalk - Use any language that compiles to Lua in your Neovim configuration
nvim-neotest/neotest - An extensible framework for interacting with tests within NeoVim.
LunarVim/LunarVim - 🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
ray-x/go.nvim - A feature-rich Go development plugin, leveraging gopls, treesitter AST, Dap, and various Go tools to enhance the development experience.
ray-x/nvim - Blazing fast neovim setup with 180+ plugins.
rose-pine/neovim - Soho vibes for Neovim
chipsenkbeil/vimwiki.nvim - Neovim plugin that offers enhanced and alternative functionality for the vimwiki language.
rafi/vim-config - Lean mean Neovim machine, carefully crafted with :heart: Use with latest Neovim.

MDX

imteekay/iamtk.co - https://iamtk.co
hackclub/putting-the-you-in-cpu - A technical explainer by @kognise of how your computer runs programs, from start to finish.
withastro/docs - Astro documentation
juneHQ/changelog - Next.js + MDX changelog app inspired by https://linear.app/changelog
Open-Pix/openpix-developers - OpenPix Developers Documentation
fleekxyz/fleek-demos-blog - Blog for Fleek xyz demos
uidotdev/usehooks - A collection of modern, server-safe React hooks – from the ui.dev team
beerose/aleksandra.codes - personal website
radix-ui/website - Website and documentation for Radix.
DeterminateSystems/zero-to-nix - Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.
nucliweb/webperf-snippets - ⚡️ 💾 Web Performance Snippets
dair-ai/Prompt-Engineering-Guide - 🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
Xetera/xetera.dev - 📚 A place for my ramblings
rauchg/blog -
Xe/site - The new frontend/backend code for https://xeiaso.net
yangshun/front-end-interview-handbook - ⚡️ Front End interview preparation materials for busy engineers
Guilherme775/my-blog - My blog to write about some cool tech stuff :)

Makefile

leahneukirchen/sq - a 7x15 pixel font inspired by Codec and Quadraat Sans Mono
awesome-foss/awesome-sysadmin - A curated list of amazingly awesome open-source sysadmin resources.
PiMaker/rvc - A 32-bit RISC-V emulator in a shader (and C)
SixArm/ui-ux-design-guide - UI/UX Design Guide: this book explains one topic per page, like a big glossary, easy wiki, quick encyclopedia, or summary notes. Edited by Joel Parker Henderson (@joelparkerhenderson).
melange-re/melange-opam-template - A simple project template using Melange with opam
gruberdev/local-gitops - An automated local cluster setup w/ tls, monitoring, ingress and DNS configuration.
wodby/docker4wordpress - Docker-based WordPress stack
plaintextaccounting/plaintextaccounting - The plaintextaccounting.org website, a portal to Ledger, hledger, beancount and co. Also the PTA wiki.
leocavalcante/leocavalcante.org - *.org
badboy/makerust - Rust, but in a Makefile.
Mic92/zig.ko - Linux kernel module written in Zig
stevana/armstrong-distributed-systems - Notes on how we potentially could build reliable, scalable and maintainable computer systems.
liyishuai/coq-parsec - Monadic parser combinator library in Coq
gregdavill/CH32V003-makefile-example - CH32V003 is an ultra-cheap RISC-V MCU with 2KB SRAM, 16KB flash, and up to 18 GPIOs
CodyReichert/awesome-cl - A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
thirtythreeforty/businesscard-linux - A Buildroot distribution small enough to run on my business card
justinmeiners/lc3-vm - Write your own virtual machine for the LC-3 computer!
eddiejaoude/book-open-source-tips - Open Source book on Open Source Tips
bitemyapp/learnhaskell - Learn Haskell
LhamaLabs/haskell-template -

Markdown

Alhadis/OSC8-Adoption - List of terminal emulators that support hyperlinks (OSC 8 escape sequences).
rzk-lang/sHoTT - Formalisations for simplicial HoTT and synthetic ∞-categories.
rust-lang/rfcs - RFCs for changes to Rust
zhaoshenzhai/MathWiki - An Obsidian.md vault for my math course notes in university.
TomasHubelbauer/github-actions - Infromation and tips regarding GitHub Actions
mdn/content - The content behind MDN Web Docs
tldr-pages/tldr - 📚 Collaborative cheatsheets for console commands
labuladong/fucking-algorithm - 刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

Mercury

Mercury-Language/mercury - The Mercury logic programming system.

Mustache

imgproxy/imgproxy-helm -

NASL

bisqwit/that_terminal - It’s that terminal! This project was mostly created (or started) in a livestream series.

Nim

chvancooten/maldev-for-dummies - A workshop about Malware Development
guzba/ready - A Redis client for multi-threaded servers.

Nix

justinas/nixos-ha-kubernetes - Toy highly-available Kubernetes cluster on NixOS
ananthakumaran/paisa - Paisa – Personal Finance Manager. https://paisa.fyi demo: https://demo.paisa.fyi
nix-community/darwin-build-box - Darwin build box for Nix community members
rigille/packages - My personal package collection
oxalica/rust-overlay - Pure and reproducible nix overlay of binary distributed rust toolchains
wegank/nixos-config - NixOS configuration.
NixOS/nixos-hardware - A collection of NixOS modules covering hardware quirks.
charlottia/hdx - HDL development environment on Nix.
clr-cera/clr-nixos - My system configuration.
ostmarco/dotfiles - Ǝ
rigille/nixos-config - Nix code to configure my devices
welteki/nix-faas - Tools for building (and deploying) OpenFaaS functions with Nix/NixOS.
sioodmy/dotfiles - Beautiful catppuccin themed NixOS configuration, with built in impermanence, full disk encryption and many more!
Misterio77/nix-config - Personal nixos and home-manager configurations.
nix-community/robotnix - Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]
figsoda/utf8 - UTF-8 support for Nix
lilyinstarlight/foosteros - FoosterOS/2 Warp - NixOS-based system configuration for my computers
zoedsoupe/lvim - An opiniated neovim config, written almost is Lua but set up with Nix!
nixified-ai/flake - A Nix flake for many AI projects
celun/celun - The customizable embedded Linux using Nix.
NerdHusky/flake-config -
chrillefkr/disko-images - Create disk image files from NixOS + disko configuration.
rvolosatovs/nix-log - Logging for nix
Ryrden/nix-config - My personal nix-config
KubqoA/dotfiles - My NixOS dotfiles
zoedsoupe/zoeyrinha - Venha você pra zoeyrinha também ksksks (config pessoal feita em nix)
douglastofoli/nix-configs -
smravec/nixos-config - Minimalistic Sway rice + NixOS
nix-community/haumea - Filesystem-based module system for Nix [maintainer=@figsoda]
snowfallorg/lib - Unified configuration for systems, packages, modules, shells, templates, and more with Nix Flakes.
eFishery/dvt - Development Tools and Templates 🛠️ ⚙️ 🔭 ❄️⛷️
Xe/xn--ts9h - 🥺 is sudo at home
yusdacra/ark - My NixOS configuration.
arcnmx/tf-nix - terraform meets nix
aakropotkin/laika - Nix fetcher abstractions.
numtide/nix-stdlib - experimental nix prelude
aldoborrero/templates - A repository of Nix templates for kick-starting projects
astro/skyflake - NixOS Hyperconverged Infrastructure on Nomad/NixOS
Math-42/nix-config - my nixos configuration files
zhaofengli/nixos-riscv64 - NixOS on the HiFive Unmatched
tweag/nix-hour - Questions for the weekly Nix Hour
Gabriella439/haskell-nix - Nix and Haskell in production
cachix/devenv - Fast, Declarative, Reproducible, and Composable Developer Environments
gvolpe/nmd - NixOS Module Documentation generator
tpwrules/nixos-apple-silicon - Resources to install NixOS bare metal on Apple Silicon Macs
nix-community/fenix - Rust toolchains and rust-analyzer nightly for Nix [maintainer=@figsoda]
purcell/nix-emacs-ci - Emacs builds for continuous integration
styx-static/styx - Static site generator in Nix expression language.
nekowinston/dotfiles - ❄️ mi casa es tu casa
aaronjanse/dotfiles - My dotfiles as a Nix flake
YorikSar/nixos-vm-on-macos - Run NixOS VMs on macOS! https://github.com/NixOS/nixpkgs/issues/108984
Xe/nixos-configs - My NixOS configs
SoxinOS/soxin -
zoedsoupe/nixnad - Config files to set up a Software development workstation!
xtruder/nix-profiles - Configuration profiles for x-truder networks
workflow/nixos-config - NixOS configuration files
wiltaylor/dotfiles - My personal dotfiles
vlaci/nix-doom-emacs - doom-emacs packaged for Nix
utdemir/dotfiles-nix - Comprehensive configurations of my NixOS workstations and home server.
typelevel/typelevel-nix - Development tools for Typelevel projects
tek/hix - Haskell/Nix development build tools
tazjin/nix-1p - A (more or less) one page introduction to Nix, the language.
nix-community/nix-on-droid - Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
svanderburg/node2nix - Generate Nix expressions to build NPM packages
svanderburg/composer2nix - Generate Nix expressions to build PHP composer packages
sudosubin/nixos-config - Personal nix files, installs some dotfiles and softwares
srid/nixos-config - KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)
sherubthakur/dotfiles - My dotfiles + system configuration for NixOS and mac
serokell/vault-secrets - NixOS tooling for Hashicorp Vault
serokell/nix-npm-buildpackage - Build nix packages that use npm/yarn
scarf-sh/nomia - A system for precise, efficient resource management across every domain and resource type.
ryantm/agenix - age-encrypted secrets for NixOS and Home manager
purcell/dotfiles - Comprehensive configuration of my NixOS workstation
puffnfresh/nix-files - My NixOS configuration and custom Nix derivations.
nix-community/nixvim - Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]
pinpox/nixos - My NixOS Configurations
numtide/nix-filter - a small self-container source filtering lib
nix-community/rnix-parser - A Nix parser written in Rust [maintainer=@oberblastmeister]
nix-community/nixago - Generate configuration files using Nix [maintainer=@jmgilman]
numtide/devshell - Per project developer environments
numtide/flake-utils - Pure Nix flake utility functions [maintainer=@zimbatm]
notusknot/dotfiles-nix - Configuration files for my NixOS machine, declared by home-manager
nixpak/nixpak - Runtime sandboxing for Nix
nix-community/home-manager - Manage a user environment using Nix [maintainer=@rycee]
nix-community/nix-doom-emacs - doom-emacs packaged for Nix [maintainers=@ckiee,@thiagokokada]
nixosbrasil/nix-emacs - Use the same module system that leverages NixOS to configure your emacs customization
nix-community/emacs-overlay - Bleeding edge emacs overlay [maintainer=@adisbladis]
nix-ocaml/nix-overlays - OCaml-focused, custom nix-overlays
nix-community/nix-straight.el - Low-level Nix integration to straight.el [maintainer=@ckiee]
nix-community/NixNG - A linux distribution based on Nix [maintainer=@MagicRB]
nix-community/napalm - Support for building npm packages in Nix and lightweight npm registry [maintainer @jtojnar]
nix-community/yarn2nix - Generate nix expressions from a yarn.lock file [maintainer=???]
nix-community/impermanence - Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
nix-community/infra - nix-community infrastructure [maintainer=@Mic92]
midchildan/dotfiles - My personal dotfiles.
malob/nixpkgs - My Nix system configs!
lucasew/nixcfg - Personal Nix/NixOS configuration files
lovesegfault/nix-config - My personal NixOS config
lucperkins/nix-home-manager-config -
lontivero/phgs - Personal Hidden Git Server
loophp/nix-shell - Nix shells for PHP development
nix-community/crate2nix - nix build file generator for rust crates
kclejeune/system - Declarative system configurations using nixOS, nix-darwin, and home-manager
kamadorueda/nixel - Parser for the Nix Expressions Language
justinwoo/nix-shorts - A collection of short notes about Nix, down to what is immediately needed for users.
jordanisaacs/dotfiles - My NixOS dotfiles for desktops and servers
jordanisaacs/homeage - runtime decrypted age secrets for nix home manager
jonringer/nixpkgs-config - ~/.config/nixpkgs
johnae/world - NixOS configuration
jluttine/nixos-configuration - Personal NixOS configuration
jkachmar/dotnix - Shackled within an elaborate prison of my own design.
ipetkov/crane - A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
input-output-hk/haskell.nix - Alternative Haskell Infrastructure for Nixpkgs
infinisil/system - My system configuration
hugosenari/friendly-modules - Random Nix Modules from web
hlissner/dotfiles - And I say hey, what's going on?
hercules-ci/arion - Run docker-compose with help from Nix/NixOS
tspm-io/tspm - An open source tree-sitter package manager 🌲
gytis-ivaskevicius/high-quality-nix-content - GitHub repository containing highest quality Nix/NixOS content
gytis-ivaskevicius/nix2vim - [WIP] Nix to Lua parser meant to be used for configuring neovim
gp2112/nix-config - My nixos configs
fufexan/dotfiles - NixOS system config & Home-Manager user config
moni-dz/nix-config - NixOS/NixOS-WSL/nix-darwin configuration using Nix Flakes and flake-parts
fersilva16/nix-config - My NixOS configuration
dmadisetti/.dots - just my .dotfiles
divnix/nix-book - The Nix Package Manager
davidtwco/veritas - @davidtwco's personal mono-repo - containing the declarative configuration of servers, desktops and laptops - including dotfiles; a collection of packages; a static site generator and source of "david
cyber-murmel/nixos-rpi-zero-w - NixOS on the Raspberry Pi Zero W
coq-community/coq-nix-toolbox - Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
colemickens/nixos-flake-example - This is a demo NixOS config, with optional flakes support. Along with notes on why flakes is useful and worth adopting.
cmacrae/config - A collection of machine configurations, expressed in Nix
ckiee/nixfiles - Nix configuration files
cideM/dotfiles - No place like ~. Nix. All. The. Things.
breuerfelix/dotfiles - macOS + nix + home-manager + yabai + zsh + zellij + neovim
brainrake/nixsh - Nix as shell
brainrake/nixos-tutorial - one hour, hands-on
bqv/rc - Structured system configuration (I moved from NixOS to GuixSD)
bhougland18/nixos_config - Nixos configuration
berbiche/dotfiles - My messy system configuration setup
barrucadu/nixfiles - My NixOS configuration and assorted other crap.
balsoft/nixos-config - Mirror of https://code.balsoft.ru/balsoft/nixos-config
astro/microvm.nix - NixOS MicroVMs
PapenfussLab/bionix - Functional highly reproducible bioinformatics pipelines
NobbZ/nixos-config -
NixOS/nixpkgs - Nix Packages collection & NixOS
Nekroze/vms.nix - NixOS module for QEMU VM's using a similar interface to nixos-containers.
Misterio77/nix-starter-configs - Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
Mic92/dotfiles - My NixOS dotfiles
Mic92/nixos-shell - Spawns lightweight nixos vms in a shell
MCotocel/nixdots - I have no idea what the hell I'm doing
LEXUGE/nixos - A fully automated replicable nixos configuration set
Gerschtli/nix-config - A collection of my system configs and dotfiles
Denommus/nix-configurations - My global and home configurations on NixOS
AtilaSaraiva/nix-dotfiles - My nixos config files
divnix/digga - A flake utility library to craft shell-, home-, and hosts- environments.
thexyno/nixos-config - my nixos/nix-darwin configurations
LnL7/nix-darwin - nix modules for darwin
thiagokokada/nix-configs - My Nix{OS} configuration files
fufexan/nix-gaming - Gaming on Nix
srid/agda-template - Imperfect Agda project template using Nix
RyanGibb/hillingar - Build Mirage unikernels with Nix
DavHau/nix-portable - Nix - Static, Permissionless, Installation-free, Pre-configured
not-matthias/dotfiles-nix - NixOS dotfiles and hardware configurations
gvolpe/nix-config - :space_invader: NixOS configuration
jonascarpay/declarative-cachix - Manage cachix caches declaratively
datakurre/nomad-with-nix - Example of developing and deploying services with Nix and Nomad
yawnt/declarative-nix-flatpak - flatpak-install, but declarative
Gabriella439/macos-builder - Bootstrap a Linux build VM on macOS
lffg/nix-config - My user profile configuration using Nix's home-manager.
terlar/nix-config - Configuration for NixOS and user home (dot files).
gytis-ivaskevicius/flake-utils-plus - Use Nix flakes without any fluff.
hss-mateus/dotfiles - Personal NixOS build
chiroptical/domain-modeling-made-functional - Working through "Domain Modeling Made Functional" by Scott Wlaschin
mitchellh/nixos-config - My NixOS configurations.

Nunjucks

bigskysoftware/hypermedia-systems - A book on building Hypermedia Driven Applications with htmx and Hyperview
ksylor/ohshitgit - The official home of Oh Shit, Git!?!

Nushell

nushell/nushell.github.io - Nushell's main website, blog, book, and more

OCaml

fpottier/pprint - A pretty-printing combinator library for OCaml
smimram/learning-effect - Modeling guitar amplifiers using machine learning.
ToposInstitute/polytt - A type theory with native support for Polynomial Functors.
rizo/onix - Build OCaml projects with Nix.
johnwhitington/cpdf-source - PDF Command Line Tools Source
dbuenzli/react - Declarative events and signals for OCaml
TyOverby/sdui - A frontend for the 1111 stable diffusion API
yallop/subtypes - First-class subtypes for OCaml
dbuenzli/htmlit - HTML generation combinators for OCaml
hnrbs/lambda-calculus -
OCamlPro/opam-wix - opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
ocurrent/ocaml-dockerfile - OCaml interface for creating Dockerfiles
Gopiandcode/ocamlot - An Activitypub server in OCaml!
ocaml-gospel/cameleer - A Deductive Verification Tool for OCaml Programs
chetmurthy/qc-ocaml - Quantum computing tools in Ocaml
janestreet/bonsai - A library for building dynamic webapps, using Js_of_ocaml
tarides/neocamlformat -
MassD/99 - Famous 99 problems in OCaml
aantron/hyper - OCaml Web client, composable with Dream [unannounced]
ocurrent/ocaml-ci - A CI for OCaml projects
rizo/signal - Reactive signals for OCaml.
c-cube/ocaml-trace - Common interface for tracing/instrumentation libraries in OCaml
panglesd/git-md - A gateway from git to hackmd
ncik-roberts/ocaml-interpreter - Interpreter of ocaml bytecode.
mirage/mirage-tcpip - TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
tjdevries/OhtML - OhtML (pronounced Oatmeal) is an OCaml and htmx project
ocurrent/ocluster - Distribute CI builds to worker nodes over Cap'n Proto
RedPRL/algaett - 🦠 An experimental elaborator for dependent type theory using effects and handlers
art-w/prettree - Pretty tree layout with an applicative functor
ocaml-community/sedlex - An OCaml lexer generator for Unicode
ocaml/ocaml-lsp - OCaml Language Server Protocol implementation
nogw/unnamed -
nogw/explicit-substitutions -
nogw/higher-rank - A small OCaml implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
yawaramin/dream-html - Generate HTML markup from your OCaml Dream backend server
mirage/jitsu - A DNS server that automatically starts unikernels on demand
Ucombinator/parsing-with-zippers - A clean implementation of Parsing with Zippers.
ocaml-multicore/domainslib - Parallel Programming over Domains
zth/resgraph - Build implementation-first GraphQL servers in ReScript
ocaml-ppx/ppxlib - Base library and tools for ppx rewriters
art-w/deque - Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
ocaml-ppx/ppx_deriving - Type-driven code generation for OCaml
fold-lang/pratt - Top down operator precedence parser (also known as Pratt parser) implementation for OCaml. (Unreleased)
Chris00/pratt-parser - Top down operator precedence parser (also known as Pratt parser) implementation for OCaml.
janestreet/ppx_let - Monadic let-bindings
gaultier/lox-ocaml - Implementation of the Lox language in OCaml
LexiFi/landmarks-starter - Starter repository for the landmarks ocaml library.
matijapretnar/millet - A ML-like pure functional language that can be used as a template for creating your own language
Deducteam/lambdapi - Proof assistant based on the λΠ-calculus modulo rewriting
kayceesrk/river - A planet (feed aggregator) for OCaml.
dbuenzli/cmarkit - CommonMark parser and renderer for OCaml
ocaml-multicore/saturn - Lock-free data structures for multicore OCaml
anmonteiro/aws-lambda-ocaml-runtime - An OCaml custom runtime for AWS Lambda
ml-in-barcelona/server-reason-react - Server rendering Reason React components with OCaml natively
ocaml-multicore/meio - Monitor Eio programs
tjdevries/scip-ocaml - SCIP Indexer for OcAmL
ocaml/omd - extensible Markdown library and tool in "pure OCaml"
ocaml-multicore/eio - Effects-based direct-style IO for multicore OCaml
c-cube/gen - Simple, efficient iterators for OCaml
bikallem/spring - Spring - A Delightful OCaml web programming library (unreleased)
remixlabs/wasicaml - Translate OCaml bytecode to WebAssembly
dariusf/ppx_interact - Interactive breakpoints!
mjambon/dum - Print OCaml values based on their runtime representation
bobbae/gosling-emacs - Gosling emacs from early 1980s
janestreet/hardcaml - Hardcaml is an OCaml library for designing hardware.
aradarbel10/MyOwnTT - An example implementation of a dependent type theory in OCaml
dbuenzli/rpi-boot-ocaml - Raspberry Pi boot support for the OCaml system (unreleased)
johnyob/ocaml-worker - OCaml template for Cloudflare Workers 👷‍♂️🐪
rizo/helix - Build reactive web interfaces in OCaml.
pikatchu/LinearML - Functional language for parallel programming
anmonteiro/httpaf - A high performance, memory efficient, and scalable web server written in OCaml
anmonteiro/ocaml-h2 - An HTTP/2 implementation written in pure OCaml
anmonteiro/piaf - Web library for OCaml with support for HTTP/1.X / HTTP/2
mirage/ocaml-cohttp - An OCaml library for HTTP clients and servers using Lwt or Async
kxcinc/gensl - Generic Spell Language
cs3110/textbook-solutions - Solutions to OCaml Programming
Armael/pixels - a shared pixel display controllable via UDP
semgrep/semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Armael/ocaml-kittyimg - Implementation of kitty's terminal graphics protocol
ocaml-doc/odoc-parser - An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
anmonteiro/gluten - Reusable runtime library for network protocols
johnyob/tsc - Bidirectional type checker for TypeScript (in OCaml 🐪)
ml-in-barcelona/jsoo-react - js_of_ocaml bindings for ReactJS. Based on ReasonReact.
ocsigen/js_of_ocaml - Compiler from OCaml to Javascript.
yallop/higher - Higher-kinded programming in OCaml
patricoferris/ocaml-search - Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml
funkywork/nightmare - A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynamic web applications.
4y8/combo - A simple parser combinator library for Ocaml
johnyob/dromedary - Dromedary is an experimental subset of OCaml, using constraint-based type inference!
SjVer/Lamb - An implementation of Colin James' "Compiling Lambda Calculus"
austral/austral - Systems language with linear types and capability-based security.
johnyob/ppx-template - An opinionated GitHub template for OCaml PPX extensions 🐪
mdales/littlejane - Tool for running scripts concurrently on sherwood.
let-def/lrgrep - Menhir polishing toolbox, for experienced druids
Octachron/talaria_bibtex - A bibtex file parser
leostera/serde.ml - Serialization framework for OCaml
tmattio/device-detector - User-agent and referer parser for HTTP queries.
EduardoRFS/f-omega -
luno-lang/luno - A small toy language with syntax heavily inspired by Lua that transpiles to JS.
andreypopp/type-systems - Playing with type systems
jfecher/algorithm-j - A minimal implementation of Hindley-Milner's Algorithm J in OCaml
bobzhang/ocaml-book - a book about ocaml
coq/opam - Archive for all Coq related OPAM packages organized in various repositories
ocaml/ocaml - The core OCaml system: compilers, runtime system, base libraries
matijapretnar/eff - A functional programming language based on algebraic effect handlers
arxaqapi/ojo - 👁️ A tool to execute a certain command when a target file is modified.
ocaml-multicore/effects-examples - Examples to illustrate the use of algebraic effects in Multicore OCaml
adamrk/llvm-ocaml-tutorial - The LLVM tutorial using OCaml
aantron/dream - Tidy, feature-complete Web framework
zenon-prover/zenon - The Zenon theorem prover
yannham/mechaml - OCaml functional web scraping library
well-typed-lightbulbs/mirage-esp32 - Mirage OS bindings for ESP32
tomprimozic/type-systems - Implementations of various type systems in OCaml.
tominated/system_f_omega - My Attempt at System Fω with Row-Polymorphism
teikalang/teika -
soren-n/bidi-higher-rank-poly - Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
rosalogia/cs111-ocaml - A collection of idiomatic functional solutions to problems from RU-NB's 01:198:111 in OCaml
robur-coop/utcp - An implementation of the Transmission Control Protocol in OCaml
ribeirotomas1904/doskya-lang -
realworldocaml/book - V2 of Real World OCaml
polytypic/f-omega-mu - Fωμ type checker and compiler
oxheadalpha/smart-contracts - A library of smart contracts
owlbarn/owl - Owl - OCaml Scientific Computing @ http://ocaml.xyz
ocaml-multicore/ocaml-effects-tutorial - Concurrent Programming with Effect Handlers
nogw/hindley-milner-lambda-calculus - a very simple implementation of the hindley-milner type system
mukul-rathi/bolt - Bolt is a language with in-built data-race freedom!
mirage/qubes-mirage-firewall - A Mirage firewall VM for QubesOS
linoscope/okasaki-book-ocaml - Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
janestreet/learn-ocaml-workshop - Exercises and projects for Jane Street's OCaml Workshop
janestreet/vcaml - OCaml bindings for the Neovim API
geoffder/dometyl-keyboard - A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
eWert-Online/OSnap - OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
cs3110/textbook - The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
coq/coq - 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 developme
comby-tools/comby - A code rewrite tool for structural search and replace that supports ~every language.
brendanzab/language-garden - A garden of small programming language implementations 🪴
andreas/ocaml-graphql-server - GraphQL servers in OCaml
ahrefs/monorobot - github monorepo bot - configurable directory tree notifications in slack
RedPRL/algaeff - 🦠 Reusable components based on algebraic effects
RedPRL/stagedtt - 🪆 A Staged Type Theory
PoorlyDefinedBehaviour/cs3110 -
Julow/rss_to_mail - Sends an email for every new entries on RSS feeds.
IwanKaramazow/PipeFirst - Fast pipe, pipe first as a syntax transform
EduardoRFS/ml-lc -
Camilotk/ocaml4noobs - Tutorial de OCaml para iniciantes na Linguagem.
leostera/caramel - :candy: a functional language for building type-safe, scalable, and maintainable applications
Guest0x0/pruning-tutor - a tutorial implementation on an elaborator of a dependently typed language with pruning
ribeirotomas1904/programming-languages-playground -
rgrinberg/opium - Sinatra like web toolkit for OCaml
adrieng/melitte - Toy implementation of Martin-Löf Type Theory
mirage/ocaml-dns - OCaml implementation of the DNS protocol
naominitel/hmx - A toy implementation of the HM(X) type system (see http://pauillac.inria.fr/~fpottier/publis/emlti-final.pdf)
melange-re/melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason

Objective-C

sinclairtarget/www-beginnings - The first web browser and server
Squirrel/Squirrel.Mac - :shipit: Cocoa framework for updating OS X apps :shipit:
samuelclay/NewsBlur - NewsBlur is a personal news reader that brings people together to talk about the world. A new sound of an old instrument.
JamesDunne/vftool-rosetta - A simple macOS Virtualisation.framework wrapper with Rosetta
sveinbjornt/Sloth - Mac app that shows all open files, directories, sockets, pipes and devices in use by all running processes. Nice GUI for lsof.
objective-see/LuLu - LuLu is the free macOS firewall
MacPass/MacPass - A native macOS KeePass client
BlueM/cliclick - macOS CLI tool for emulating mouse and keyboard events
prscX/react-native-app-tour - React Native: Native App Tour Library
cynthia/WorldWideWeb - Last publicly available revision of the world's first web browser. This is a source import from 0.15 for NextStep. Originally written by @timbl.

Objective-C++

facebook/componentkit - A React-inspired view framework for iOS.

Open Policy Agent

fugue/regula - Regula checks infrastructure as code templates (Terraform, CloudFormation, k8s manifests) for AWS, Azure, Google Cloud, and Kubernetes security and compliance using Open Policy Agent/Rego

Org

tecosaur/emacs-config - My configuration for Doom Emacs. Mirror of https://git.tecosaur.net/tec/emacs-config.

Others

dylanaraps/writing-a-tui-in-bash - How to write a TUI in BASH
alangibson/awesome-crdt - A collection of awesome CRDT resources
InterviewReady/system-design-resources - These are the best resources for System Design on the Internet
saltudelft/ml4se - A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
vercel/geist-font -
ZachGoldberg/Startup-CTO-Handbook - The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams
pdm-book/community -
catppuccin/qt5ct - 🎨 Soothing pastel theme for qt5ct
ByteByteGoHq/system-design-101 - Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
xizhengszhang/Leetcode_company_frequency - Collection of leetcode company tag problems. Periodically updating.
daumann/ECMAScript-new-features-list - A comprehensive list of new ES features, including ES2015 (ES6), ES2016, ES2017, ES2018, ES2019
jujumilk3/leaked-system-prompts - Collection of leaked system prompts
tk-notes/awesome-personal-websites - It's my attempt to store all personal website I find interesting
acelinkio/argocd-homelab - GitOps driven homelab using ArgoCD
Universidade-Livre/Learn4Elixir - Aprenda Elixir em 4 Pull Requests!
iCHAIT/awesome-macOS -  A curated list of awesome applications, softwares, tools and shiny things for macOS.
chriskempson/base16 - Not a theme, but a framework
kdeldycke/awesome-engineering-team-management - 👔 How to transition from software development to engineering management
syntax-tree/mdast - Markdown Abstract Syntax Tree format
Hack-with-Github/Awesome-Hacking - A collection of various awesome lists for hackers, pentesters and security researchers
neohaskell/NeoHaskell - ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
AsahiLinux/docs - Hardware and software docs / wiki
werat/imhex-minidump - Pattern for the minidump format for ImHex Editor
dpapathanasiou/simple-graph - This is a simple graph database in SQLite, inspired by "SQLite as a document database"
milabs/awesome-linux-rootkits - awesome-linux-rootkits
Beware-of-dragons/MUD_book - The purpose of this GitHub repository is to provide readers with a practical, hands-on guide to building a text-based Multi-User Dungeon (MUD) game titled "Beware of Dragons in the Dungeons" while lea
kepano/kepano-obsidian - My personal Obsidian vault template. A bottom-up approach to note-taking and organizing things I am interested in.
cloudcommunity/Free-Certifications - A curated list of free courses & certifications.
ModernKit/xcloud-keyboard-mouse - Chrome extension for controlling Xbox Cloud Gaming (Project xCloud) using a keyboard and mouse
samsquire/ideas - a hundred ideas for computing - a record of ideas - https://samsquire.github.io/ideas/
Peter-Easton/android-debug-cable-howto - This is a simple how-to to create your own android kernel debugging cable using commercially available parts.
meoowers/rinha-de-compilers -
amix/photoshop - Photoshop 1.0 Source Code
axeldelafosse/awesome-universal-react - A collection of awesome universal React and React Native frameworks, libraries, design systems, apps and resources.
Wenzel/awesome-virtualization - Collection of resources about Virtualization
shioyadan/advanced-computer-organization -
peter-evans/docker-compose-healthcheck - How to wait for container X before starting Y using docker-compose healthcheck
onhexgroup/Conferences - Conference slides
brandur/heroku-http-api-design - The Heroku HTTP API Design Guide, forked to look more like its original pre-GitBook state with a more easily digestible single-page format.
Nriver/awesome-trilium - A collection of interesting Trilium Notes extensions. Including themes, widgets, scripts, API extensions, etc.
kepano/40-questions - Questions that I ask myself at the end of each year and each decade.
WieeRd/questionable - How do I ask a good question?
dgryski/awesome-consensus - Awesome list for Paxos and friends
withfig/themes -
nikitavoloboev/ocaml - OCaml libraries + testing code
InterviewMap/CS-Interview-Knowledge-Map - Build the best interview map. The current content includes JS, network, browser related, performance optimization, security, framework, Git, data structure, algorithm, etc.
edgedb/awesome-edgedb - A curated list of resources related to EdgeDB.
inaimathi/lisp-1.5-programmers-manual - Lisp 1.5 Programmers' Manual and implementation for the M6800
shinezyy/micro-arch-training - How to make undergraduates or new graduates ready for advanced computer architecture research or modern CPU design
TodePond/Opond - free open source everything
cagartner/awesome-d4 - 🎉 A curated list of awesome things related to Diablo 4
bgp/RFC8212 - RFC 8212 - Default EBGP Route Propagation Behavior Without Policies
rescriptbr/rescript-bindings-cookbook - Task-oriented guide to writing JavaScript bindings for ReScript
mrseth01/awesome-adhd - Awesome Resources for ADHD
RupertBenWiser/Web-Environment-Integrity -
nicolevanderhoeven/doing-it-in-public - A book about learning in public: what it is, why you should do it, and how to do it successfully.
zagoli/simple-typst-thesis - A template to use for a simple thesis written in Typst.
kosmos/awesome-generative-art - Awesome generative art
qjcg/awesome-typst - Awesome Typst Links
opencodeco/artwork - 🎨 Our artwork is open too. Feel free to collaborate with creative graphics.
mcnaveen/awesome-rss - Collection of RSS feeds I follow
gqlgo/awesome-gqlgen - A curated list of awesome frameworks, libraries and software using gqlgen library.
nicolevanderhoeven/obsidian-okrs - Templates for setting OKRs/goals in Obsidian
thaoshibe/awesome-makeup-transfer - A curated list of Awesome Makeup Transfer resources
kevit/awesome-flights - Curated list of flight searches :: It's no shame to fly!
javascript-compiler-hints/compiler-notations-spec - (Draft) Specifications for __PURE__ compiler notation et al.
yaodongC/awesome-instruction-dataset - A collection of open-source dataset to train instruction-following LLMs (ChatGPT,LLaMA,Alpaca)
automateyournetwork/automate_your_network - The book in PDF format for all to enjoy!
holtzy/Talk - The material for my talks
jla524/fromthetensor - From the Tensor to Stable Diffusion, a rough outline for a 9 week course.
yotsunva/notes -
UbiquitousLearning/Paper-list-resource-efficient-large-language-model -
xairy/linux-kernel-exploitation - A collection of links related to Linux kernel security and exploitation
manekinekko/awesome-devcontainers - A curated list of awesome tools and resources about dev containers for common programming languages and technology stacks to boost your developer productivity 🚀
selfrender/Windows-Server-2003 - This is the leaked source code of Windows Server 2003
linusg/ecmascript-wiki - 📄 Information and links related to ECMAScript engine/tooling development
nix-systems/nix-systems - Externally extensible flake systems
checkcheckzz/system-design-interview - System design interview for IT companies
Ibexoft/awesome-startup-tools-list - List of all tools (apps, services) that startups should use.
dtinth/superwhite - display a very bright white color on HDR-enabled displays
Syndrizzle/hotfiles - 🏠 A collection of personal configuration files for various rices I have made.
swyxio/brain - Swyx's second brain!
Cyytrus/the-file - Bro, just dont
J0sueTM/emacs4noobs - Quer aprender a usar o monstro dos editores de texto, mas não sabe por onde começar? Veio ao lugar certo.
mdx-js/specification - MDX language and AST definitions
Its-Jakey/Linux-On-Scratch - Linux for the blocky code language Scratch!
intel/intel-one-mono - Intel One Mono font repository
rajasegar/awesome-htmx - Awesome things about htmx
sindresorhus/awesome-electron - Useful resources for creating apps with Electron
TodePond/DreamBerd - perfect programming language
sylefeb/Iron - Iron: selectively turn RISC-V binaries into hardware
nomi-sec/PoC-in-GitHub - 📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.
wrongbyte/math-notes - PT-BR | EN :sparkles: notes about math
hng/tech-coops - A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.
XD-DENG/SQL-exercise - Practice with "Real" SQL Problems
timhwang/nyrc - The New York Review of Computation
elobdog/molgeomabc - The Molecular Geometry ABC's
zakirullin/cognitive-load - 🧠 Cognitive Load Developer's Handbook
tablelandnetwork/awesome-decentralized-database - A curated list of awesome decentralized databases and related resources.
danluu/debugging-stories - A collection of debugging stories. PRs welcome (sorry for the backlog) :-)
osmlab/awesome-openstreetmap - 😎 Curated list of awesome OpenSteetMap-projects
vlondon/awesome-swiftui - A collaborative list of awesome articles, talks, books, videos and code examples about SwiftUI.
osintbrazuca/osint-brazuca - Repositório criado com intuito de reunir informações, fontes(websites/portais) e tricks de OSINT dentro do contexto Brasil.
justSem/r-selfhosted-security - Started from the beginners security guide on r/selfhosted - this repo aims to be a collection of guides
adamdotjs/hacklig - A fork of Hack with added ligatures from Fira Code.
ray-project/llm-numbers - Numbers every LLM developer should know
sindresorhus/awesome-chatgpt - 🤖 Awesome list for ChatGPT — an artificial intelligence chatbot developed by OpenAI
tomhuang12/awesome-k8s-resources - A curated list of awesome Kubernetes tools and resources.
shuaibiyy/awesome-terraform - Curated list of resources on HashiCorp's Terraform
sbilly/awesome-security - A collection of awesome software, libraries, documents, books, resources and cools stuffs about security.
clowwindy/Awesome-Networking - A curated list of awesome networking libraries, resources and shiny things
dastergon/awesome-sre - A curated list of Site Reliability and Production Engineering resources.
geohot/fromthetransistor - From the Transistor to the Web Browser, a rough outline for a 12 week course
eugeneyan/open-llms - 📋 A list of open LLMs available for commercial use.
tianshanghong/awesome-anki - A curated list of awesome Anki add-ons, decks and resources
motion-canvas/examples - A set of examples for Motion Canvas
cheatsnake/backend-cheats - 📃 White paper for Backend developers
feststelltaste/awesome-legacy-systems - A curated list of awesome resources and links about tackling legacy systems that gives hope.
brexhq/prompt-engineering - Tips and tricks for working with Large Language Models like OpenAI's GPT-4.
sindresorhus/awesome-whisper - 🔊 Awesome list for Whisper — an open-source AI-powered speech recognition system developed by OpenAI
nayafia/lemonade-stand - A handy guide to financial support for open source
ocapn/ocapn - General planning and documentation repository for the OCapN protocol suite for distributed networked objects
enaqx/awesome-react - A collection of awesome things regarding React ecosystem
ai-list/awesome-chatgpt-plugins - A curated collection of ChatGPT plugins
738/awesome-url-shortener - 🔗 A curated list of awesome url shortener
jaked/reconstructing-typescript - Code and demos for Reconstructing TypeScript blog posts.
Mooler0410/LLMsPracticalGuide - A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
warpdotdev/Warp - Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
arielsdesign/design-systems - A project to document and share high quality, hand picked resources related to designing, building and maintaining modern design systems.
hwayne/gpt-tricks - A collection of useful uses of GPT (and other LLMs), organized as examples
rylev/component-book - A high-level explanation of the low-level details of WebAssembly components
nogw/neuron - a dedicated space for keeping my notes and links related to the various topics I am studying or intend to study
0hq/jstorch - A Javascript implementation of Pytorch with WebGPU.
Droogans/unmaintainable-code - A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html
jakejarvis/awesome-shodan-queries - 🔍 A collection of interesting, funny, and depressing search queries to plug into shodan.io 👩‍💻
kgryte/awesome-peer-to-peer - A list of peer-to-peer resources.
typescript-cheatsheets/speed - my TS project is slow. now what?
pinceladasdaweb/Static-Site-Generators - A definitive list of tools for generating static websites.
jlumbroso/free-disk-space - :octocat:⚙️ A GitHub Action to free disk space on an Ubuntu runner.
Gcenx/macOS_Wine_builds - Official Winehq macOS Packages
andrevidela/category-theory-notes -
jeffque/awake - Make, but in JS this time
withfig/fig - Public issue tracker for Fig.
o0x-0o/AnimeListChallenge - A little anime list CRUD application with GraphQL for Woovi's Code Challenge.
firasdib/Regex101 - This repository is currently only used for issue tracking for www.regex101.com
igorbrigadir/awesome-twitter-algo - The release of the Twitter algorithm, annotated for recsys
muqiuhan/Swallow - A Lisp implementation in OCaml
nichtdax/awesome-totally-open-chatgpt - A list of totally open alternatives to ChatGPT
justinwoo/my-blog-posts - my blog posts, about purescript, nix, rust, haskell, etc.
willwulfken/MidJourney-Styles-and-Keywords-Reference - A reference containing Styles and Keywords that you can use with MidJourney AI. There are also pages showing resolution comparison, image weights, and much more!
hollance/neural-engine - Everything we actually know about the Apple Neural Engine (ANE)
rust-lang/llvm-project - Rust-specific fork of LLVM.
NickBarnes/inside-ocaml - Documentation of the OCaml implementation
acheong08/awesome-llama - Awesome repositories for using LLaMA (WIP)
celsobonutti/rust-for-rustaceans - rust-for-rustaceans
mikbry/awesome-webgpu - 😎 Curated list of awesome things around WebGPU ecosystem.
sts10/rust-command-line-utilities - A curated list of command-line utilities written in Rust
piellardj/diamond-webgl - Ray-tracing engine for real-time diamond rendering in WebGL
jonhoo/rust-ci-conf - Collection of CI configuration files for Rust projects
liusongxiang/Large-Audio-Models - Keep track of big models in audio domain, including speech, singing, music etc.
maximveksler/awesome-serialization - Data formats useful for API, Big Data, ML, Graph & co
wasp-lang/haskell-handbook - Best practices on how to be efficient with Haskell in production
MARD1NO/Awesome-GPU - Awesome resources for GPUs
humanloop/awesome-chatgpt - Curated list of awesome tools, demos, docs for ChatGPT and GPT-3
nostr-protocol/nostr - a truly censorship-resistant alternative to Twitter that has a chance of working
npmaile/blog -
openai/openai-cookbook - Examples and guides for using the OpenAI API
lindig/ocaml-style - A style guide for OCaml
apehex/awesome-poker - :spades: :hearts: :clubs: :diamonds: A curated list of awesome poker resources & tools to improve your game.
dailydotdev/daily - daily.dev is a professional network for developers to learn, collaborate, and grow together 👩🏽‍💻 👨‍💻
ladamalina/coursera-startup - Startup Engineering. Lecture Slides (june 2013)
sandersn/manual - Explanatory writing
matthewbarreiro/awesome-steam-deck - A curated list of software and hardware for Valve's Steam Deck!
fsciuti/awesome-speaker - A curated list of awesome resource for public speakers, trainers and so on!
mdh266/SQL-Practice - Solutions to Problems For SQL on Leetcode, Hackerrank & DataLemur
sindresorhus/css-in-readme-like-wat - Style your readme using CSS with this simple trick
klaudiosinani/awesome-prolog - Curated list of Prolog packages and resources
erenyenigul/ism - Write programs in Apple Notes 📝. Multi-platform stack machine implemented in Siri Shortcuts.
rguo12/awesome-causality-algorithms - An index of algorithms for learning causality with data
evilmartians/mono - Free and open-source monospaced font from Evil Martians
djsime1/awesome-flipperzero - 🐬 A collection of awesome resources for the Flipper Zero device.
wehos/awesome-graph-transformer - Papers about graph transformers.
milgra/headerlessc - Headerless C programming with a single preprocessor macro line
extensibleweb/manifesto - The Extensible Web Manifesto
eon01/awesome-chatgpt - 🧠 A curated list of awesome ChatGPT resources, including libraries, SDKs, APIs, and more. 🌟 Please consider supporting this project by giving it a star.
nuprl/10PL - 10 papers that all PhD students in programming languages ought to know, for some value of 10
wintercg/proposal-functions-api - Discussing standardizing serverless JS functions
ddotta/awesome-polars - A curated list of Polars talks, tools, examples & articles. Contributions welcome !
Hannibal046/Awesome-LLM - Awesome-LLM: a curated list of Large Language Model
chartjs/awesome - A curated list of awesome Chart.js resources and libraries
pfrazee/crdt_notes -
nushell/awesome-nu - A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.
ibaaj/awesome-OpenSourcePhotography - A list of awesome free open source software & libraries for photography. Also tools for video.
mypyc/mypyc - Compile type annotated Python to fast C extensions
lunapark/lunapark - 🎡 The most advanced visual scripting editor for the web.
lykahb/pr-comment-changes-breakdown - A GitHub Action that comments on the pull requests with a summary of changes classified according to your config.
ymcui/ChatGPT-in-Academia - Policies of scientific publisher and conferences towards large language model (LLM), such as ChatGPT
Allyhere/expert-css - Repositório contendo materiais de estudo de CSS avançado
Ryrden/Text-based-cs-study - This repository has as its purpose centralizing links to learn computing and technologies through text-based materials.
raunofreiberg/vesper - Peppermint and orange flavored dark theme for VSCode.
bodiam/awesome-asciidoc - A curated list of Awesome Asciidoc
Zekfoo/AGZ - A circuit-level redesign of the Game Boy Advance, addressing many of the issues seen with the original GBA
iamakulov/devtools-perf-features - Chrome DevTools’ little known features for perf debugging
aidansteele/centralized-logs - Centralizing AWS CloudWatch log forwarding via EventBridge and Step Functions
silviopaganini/maths - learning maths again
VictorTaelin/kind-ai -
framewiki/awesome-framework - A COMPLETELY UNOFFICIAL curated list of projects, tools, documentation and resources related to the Framework Laptop
4ndersonLin/awesome-cloud-security - 🛡️ Awesome Cloud Security Resources ⚔️
b3nj5m1n/moderncardthemes - Modern Anki card templates
bacen/pix-api - API Pix: a API do Arranjo de Pagamentos Instantâneos Brasileiro, Pix, criado pelo Banco Central do Brasil.
kstenerud/dogma - Dogma: A modernized metalanguage with better expressiveness and binary grammar support
rive-app/awesome-rive - An awesome list that curates Rive runtime examples, articles and tutorials, videos, resources and more!
swyxio/devtools-angels - active angel investors in developer tools!
Wengier/dosbox-x-wiki - DOSBox-X Wiki
jeanqasaur/women-in-programming-languages-research - Women in Programming Languages and Software Engineering Research
dair-ai/Transformers-Recipe - 🧠 A study guide to learn about Transformers
PaymagicXYZ/awesome-account-abstraction - Curated list of awesome resources for account abstraction.
tarides/compiler-hacking - Compiler Hacking Sessions Information
noge-labs/kind2lisp - a small one-file lisp implemented in kind2, intentionally incomplete
christianversloot/machine-learning-articles - 🧠💬 Articles I wrote about machine learning, archived from MachineCurve.com.
stepbasin/books -
ea/lytro_unlock - Documenting reverse engineering of the original Lytro lightfield camera
archinetai/audio-ai-timeline - A timeline of the latest AI models for audio generation, starting in 2023!
r0x000000000033/Linux-Security-and-Hardening-Security-Guide - Linux Security and Hardening Security Guide
jkup/awesome-personal-blogs - A delightful list of personal tech blogs
helloSystem/hello - Desktop system for creators with a focus on simplicity, elegance, and usability. Based on FreeBSD. Less, but better!
hilltty/hilltty-flags - Maximum Performance Launch Flags for Minecraft Server
imadr/Unity-game-hacking - A guide for hacking unity games
Dmytro-Shulha/obsidian-css-snippets - Most common appearance solutions for Obsidian now in a single place. Initially collected by Klaas: https://forum.obsidian.md/t/how-to-achieve-css-code-snippets/8474
amirgholami/ai_and_memory_wall - AI and Memory Wall blog post
rynst/awesome-llm-engineering - 💻 An awesome & curated list of resources for large language model engineering (application layer: prompt engineering, fine tuning, etc.) [ Work In Progress, feel free to contribute! ]
xinrong-meng/knowledge-sharing -
DavHau/edict - Run nix commands on remote machines
merveenoyan/my_notes - My small cheatsheets for data science, ML, computer science and more.
euxn23/frontend-wants - フロントエンドエンジニアはこれを理解しておいて欲しいの集合知
Anemolo/Links-I-Love - Lots of links I've personally read. Only the best ones ;)
sutoiku/puffin - Serverless HTAP cloud data platform powered by Arrow × DuckDB × Iceberg
swyxio/buying-domains - useful data and advice for buying domains.
mauricioabreu/construindo-seu-proprio-chat - Um livro que vai te guiar na construção de um chat, entendendo sobre protocolos, redes e programação
pangwa/write-yourself-a-scheme-doc -
iamgbayer/db -
danklammer/bytesize-icons - Tiny style-controlled SVG iconset (101 icons, 12kb)
martinwoodward/octolamp - A 3D printed, GitHub infused, smart light
cytodata/awesome-cytodata - A curated list of awesome cytodata resources
keller-mark/awesome-biological-visualizations - A list of web-based interactive biological data visualizations.
inoue0426/awesome-computational-biology - Awesome list of computational biology.
axxxyyy/voxu - 🧊 A strongly and statically typed, memory-efficient functional programming language.
ai-collection/ai-collection - The Generative AI Landscape - A Collection of Awesome Generative AI Applications
stax76/awesome-mpv - A curated list of awesome mpv resources.
widdix/mastodon-on-aws - Host your own Mastodon instance on AWS
johnyob/University-Notes - A complete collection of my undergraduate notes
dair-ai/ML-Papers-Explained - Explanation to key concepts in ML
dersvenhesse/awesome-scriptable - A curated list of awesome Scriptable scripts and widgets.
rougier/dotemacs - Litterate configuration for GNU Emacs
skiselev/micro_8088 - Micro 8088 - IBM XT Compatible Processor Board based on Faraday FE2010 chipset
yudataguy/Awesome-Japanese - Awesome Japanese Learning Resources
juhakaup/keyboards -
Jokeren/Awesome-GPU - Awesome resources for GPUs
dair-ai/ML-Papers-of-the-Week - 🔥Highlighting the top ML papers every week.
LukeberryPi/job-log - personal writings of my daily triumphs and challenges as a junior software engineer
leomaurodesenv/game-datasets - :video_game: A curated list of awesome game datasets, and tools to artificial intelligence in games
PayDevs/awful-oss-incidents - 🤬 A categorized list of incidents caused by unappreciated OSS maintainers or underfunded OSS projects. Feedback welcome!
GantMan/Public_Speaking_Hits - A Helpful list of quick and useful public speaking lines
modenaxe/awesome-biomechanics - A curated, public list of resources for biomechanics and human motion analysis: datasets, processing tools, software for simulation, educational videos, lectures, etc.
orta/graphql-api-goals - Notes on what I'd like for a pretty ideal API codebase
Yuan-ManX/audio-development-tools - This is a list of sound, audio and music development tools which contains machine learning, audio generation, audio signal processing, sound synthesis, spatial audio, music information retrieval, musi
Mikerah/awesome-algorithmic-game-theory - An Awesome list for resources on algorithmic game theory
snyk-labs/awesome-log4shell - An Awesome List of Log4Shell resources to help you stay informed and secure! 🔒
GrrrDog/Java-Deserialization-Cheat-Sheet - The cheat sheet about Java Deserialization vulnerabilities
libsql/sqld - LibSQL with extended capabilities like HTTP protocol, replication, and more.
pengowray/wasm-ops - Chart of WebAssembly Instructions
githubnext/blocks - A set of files to use as input for Blocks.
ARPSyndicate/awesome-intelligence - A collaboratively curated list of awesome Open-Source Intelligence (OSINT) Resources
genedan/actuarial-foss - A curated list of free and open source actuarial software
leereilly/games - :video_game: A list of popular/awesome video games, add-ons, maps, etc. hosted on GitHub. Any genre. Any platform. Any engine.
marcosnils/awesome-playgrounds - List of awesome playgrounds
jamesob/mempool.work - Summary of mempool design, challenges, and proposals (re: fees)
Kamigami55/awesome-chatgpt - Curated list of ChatGPT related resource, tools, prompts, apps / ChatGPT 相關優質資源、工具、應用的精選清單。
d43m0nhLInt3r/socialblocklists - Blocklists to block the communication to social networking sites and privacy harming services
servo/servo - The Servo Browser Engine
thisdot/tech-community-slacks - Here is a list of all the tech community slacks!
ckirsch/book -
lapcat/SafariExtensions - Resources for the development of Safari extensions
ansible-community/awesome-ansible - Awesome Ansible List
hpreston/rpi-networklab - The Raspberry Pi is an inexpensive computer that makes a great addition to everyone's network lab. In fact, you might want to pickup a few of them for your lab. This repository includes some docum
arn4v/offline-first - A list of projects in the offline-first storage, sync & realtime collaboration/multiplayer space. [PRs welcome]
TitansBane/Elysium-Remastered - Elysium Remastered is a complete rebuild of the original Elysium modlist. Like the original, it focuses primarily on visuals and is fully featured with hundreds of new additions and full Creation Club
greko6/xfb2xfb - by ex-Facebookers, for ex-Facebookers - a lookup table of similar tech & services
ineffyble/mastodon-block-tools - An attempt to list as many different projects/tools/scripts related to Mastodon & fediverse block management as possible
lasq88/LearingMaterials - Different learning materials
mattecapu/awesome-double-categories - A list of works and resources about double category theory, with a particular focus on applications.
JacquesCarette/Notes -
cassiobotaro/vimbook - :book: Um livro escrito em português sobre o editor de texto Vim
Kikobeats/awesome-cli - A curated list of awesome resources for building immersive CLI experiences.
shlomi-noach/awesome-mysql - A curated list of awesome MySQL software, libraries, tools and resources
jassics/security-study-plan - Complete Practical Study Plan to become a successful cybersecurity engineer based on roles like Pentest, AppSec, Cloud Security, DevSecOps and so on...
jassics/security-interview-questions - Security interview questions with possible explanation for roles in AppSec, Pentesting, Cloud Security, DevSecOps, Network Security and so on
owainlewis/awesome-artificial-intelligence - A curated list of Artificial Intelligence (AI) courses, books, video lectures and papers.
SpaceVim/SpaceVim - A community-driven modular vim/neovim distribution - The ultimate vimrc
ZeroX-DG/awesome-browser - A list of awesome web browser related stuff
bahamas10/bash-style-guide - A style guide for writing safe, predictable, and portable bash scripts (not sh!)
jassics/awesome-aws-security - Curated list of links, references, books videos, tutorials (Free or Paid), Exploit, CTFs, Hacking Practices etc. which are related to AWS Security
gchandra10/useful-rust-links - Open Source repository containing useful links for Rust Programming
osintbrazuca/osint-brazuca-regex - Repositório criado com intuito de reunir expressões regulares dentro do contexto Brasil
jeffque/digital-garden - Meu próprio jardim digital
learn-anything/macos-apps - Awesome macOS apps
xyflow/awesome-node-based-uis - A curated list with resources about node-based UIs
PoorlyDefinedBehaviour/things_to_do - This repository serves as reminder for things that i want to understand/learn about/build
danielecook/Awesome-Bioinformatics - A curated list of awesome Bioinformatics libraries and software.
waydabber/BetterDisplay - Unlock your displays on your Mac! Smooth scaling, HiDPI unlock, XDR/HDR extra brightness upscale, DDC, brightness and dimming, virtual screens, PIP and lots more!
nikitavoloboev/privacy-respecting - Curated List of Privacy Respecting Services and Software
learn-anything/blogs - Awesome Blogs
hkirat/Algorithmic-Resources - A Curated list of Topic wise Theory and Questions to Get You Started On Competitive Coding.
Universidade-Livre/matematica - 🧮 Um caminho para a educação autodidata em Matemática!
nathanlesage/academics-on-mastodon - A list of various lists consisting of academics on Mastodon
nosuz/kicad-symbols-footprints - KiCad symbols and footprints created by myself or modified from KiCad library for my projects.
jozefg/learn-tt - A collection of resources for learning type theory and type theory adjacent fields.
mxssl/sre-interview-prep-guide - Site Reliability Engineer Interview Preparation Guide
felipenlunkes/osdev - A list of operating system projects, reference material to operating system development and administration and operating system history
joelparkerhenderson/architecture-decision-record - Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
danielamitay/iOS-App-Performance-Cheatsheet - A collection of code substitutions and configurations that can improve Objective-C code performance on iOS.
slavaim/mac-notes - macOS notes
kstoneriv3/tips-for-studying-and-working-abroad-ja - Tips for studying and working abroad for Japanese students
mbuczko/awesome-clojure - list of useful links for clojurians
TensorWorks/PixelStreamingCloudGuide - A guide to Pixel Streaming in the cloud (AWS, Azure, GCP, Linux, Windows).
ruiqimao/keyboard-pcb-guide - Guide on how to design keyboard PCBs with KiCad
wallarm/awesome-nginx-security - 🔥 A curated list of awesome links related to application security related to the environments with NGINX or Kubernetes Ingres Controller (based on NGINX)
cipher387/Advanced-search-operators-list - List of the links to the docs for different services, which explain using of advanced search operators
adrianlarion/useful-sed - Useful sed scripts & patterns.
adolfont/brazilian-cs-research - Curated lists related to Brazilian Computer Science research and researchers
adairneto/Macroeconomics -
AwesomeVisa/awesome-immigration - An Awesome list of long-term visas
aalhour/awesome-compilers - :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes
Wmitrut/awesome-brazilian-devblogs - 🇧🇷 - :metal: Curadoria de blogs em português brasileiro sobre desenvolvimento
WebKit/WebKit - Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.
Universidade-Livre/traduz-ai - :pencil: Coleção de artigos de desenvolvimento de software traduzidos para pt-br
Universidade-Livre/ciencia-da-computacao - 🎓 Um caminho para a educação autodidata em Ciência da Computação!
Troyciv/anki-templates-superlist - A collection of Anki card styles
TheClause/learn-prolog - Bringing Prolog to the masses.
TheAlgorithms/Algorithms-Explanation - Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
TalalAlrawajfeh/mathematics-roadmap - A Comprehensive Roadmap to Mathematics
Sword-Smith/economics - Collection of economic resources introducing neoclassical and Austrian economics
SupeRuier/awesome-active-learning - Everything you need about Active Learning (AL).
Silva97/livro-assembly-x86 - Livro de Assembly x86 e x86-64
Shopify/graphql-design-tutorial -
ShahjalalShohag/Competitive-Programming-A-Complete-Guideline -
SerialLain3170/AwesomeAnimeResearch - Papers, repository and other data about anime or manga research. Please let me know if you have information that the list does not include.
Salandin/r4noobs - Um introdução a linguagem R pela He4rt Develpers
Sairyss/backend-best-practices - Best practices, tools and guidelines for backend development. Code examples in TypeScript + NodeJS
RustCrypto/CSRNGs - Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust
RootSoft/Database-Naming-Convention - Database Naming Conventions & Best Practices
ziadoz/awesome-php - A curated list of amazingly awesome PHP libraries, resources and shiny things.
ythecombinator/You-Dont-Know-X - 🙈 curated list of inspiring resources which show you don't know that much about something you thought you knew.
you-dont-need/You-Dont-Need - People choose popular projects, often not because it applies to their problems
you-dont-need/You-Dont-Need-GUI - Stop relying on GUI; CLI ROCKS
yengoteam/awesome-gha-snippets - 🤯 A list of useful snippets and tips for GitHub Actions (GHA).
yegor256/awesome-academic-oop - Curated list of academic writings on object-oriented programming
yallop/generalized-partial-computation-bibliography - Generalized Partial Computation Bibliography
xtiankisutsa/awesome-mobile-CTF - This is a curated list of mobile based CTFs, write-ups and vulnerable apps. Most of them are android based due to the popularity of the platform.
xinjin/course-net-seminar - Selected Topics in Computer Networks @ Johns Hopkins University
xileteam/awesome-quic - A collection of various awesome lists for QUIC related articles, presentations, and open source implementations. Update weekly.
xgrommx/awesome-functional-programming - Yet another resource for collecting articles, videos etc. regarding functional programming
workos/awesome-developer-experience - 🤘 A curated list of DX (Developer Experience) resources
wh0isdxk/Security-by-Design - Conceitos sobre Security-by-Design e alguns passos sobre como implementar isso no dia-a-dia.
webpro/awesome-dotfiles - A curated list of dotfiles resources.
vpavlenko/study-music - An "awesome music theory" kinda wiki with books, resources and courses for studying everything about music and sound
viraptor/reverse-interview - Questions to ask the company during your interview
vasanthk/how-web-works - What happens behind the scenes when we type www.google.com in a browser?
unicodeveloper/awesome-nextjs - :notebook_with_decorative_cover: :books: A curated list of awesome resources : books, videos, articles about using Next.js (A minimalistic framework for universal server-rendered React applications)
uhub/awesome-haskell - A curated list of awesome Haskell frameworks, libraries and software.
tweag/awesome-learning-haskell - A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
trimstray/test-your-sysadmin-skills - A collection of Linux Sysadmin Test Questions and Answers. Test your knowledge and skills in different fields with these Q/A.
trimstray/the-book-of-secret-knowledge - A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
trimstray/iptables-essentials - Iptables Essentials: Common Firewall Rules and Commands.
trekhleb/promote-your-next-startup - 🚀 Free resources you may use to promote your next startup
toonn/Nix-macOS-Monthly - Nix 🖤 macOS Monthly Discourse update posts
tonyaldon/posts - The posts about "emacs/elisp" that I publish on the subreddit https://www.reddit.com/r/emacs/ in an org document.
tmpout/awesome-elf -
thospfuller/awesome-search-engine-optimization - A curated list of backlink, social signal opportunities, link building strategies and tactics, along with educational opportunities to help improve search engine results and ranking.
tc39/proposals - Tracking ECMAScript Proposals
tayllan/awesome-algorithms - A curated list of awesome places to learn and/or practice algorithms.
tadwhitaker/Security_Engineer_Interview_Questions - Every Security Engineer Interview Question From Glassdoor.com
swyxio/ai-notes - notes for software engineers getting up to speed on new AI developments. Serves as datastore for https://latent.space writing, and product brainstorming, but has cleaned up canonical references under
surajsharma/x-in-y-lines - Succintly written (<1000 non-obfuscated loc), fully-functional software in any language
sumodirjo/engineering-blogs - A curated list of engineering blogs of startup and enterprise companies
stereobooster/programming-languages-genealogical-tree - Programming languages genealogical tree
stebunovd/blog -
soupi/learn-haskell-blog-generator - Learn Haskell by building a blog generator - an introductory book about Haskell.
soruly/awesome-acg - A curated list of awesome technologies related to Anime, Comic and Games
sohamkamani/javascript-design-patterns-for-humans - An ultra-simplified explanation of design patterns implemented in javascript
sleepymalc/How2LaTeX - 📃 A compact guide to help you write professional LaTeX documents
slacka/WoeUSB - WoeUSB is a simple tool that enable you to create your own usb stick windows installer from an iso image or a real DVD. It is a fork of Congelli501's WinUSB.
sindresorhus/awesome - 😎 Awesome lists about all kinds of interesting topics
sindresorhus/awesome-nodejs - :zap: Delightful Node.js packages and resources
sicpjs/estrutura-e-interpretacao-de-programas-de-computador-javascript - λ — Tradução em pt-br de "Structure and Interpretation of Computer Programs — JavaScript Adaptation"
shanirivers/open-source-mathematics-degree - The open-source curriculum for learning Mathematics.
sgillespie/lambda-calculus - An introduction to the Lambda Calculus
sdras/awesome-actions - A curated list of awesome actions to use on GitHub
rust-in-blockchain/awesome-blockchain-rust - Collect libraries and packages about blockchain/cryptography in Rust
rothgar/awesome-tuis - List of projects that provide terminal user interfaces
ronikobrosly/awesome-data-leadership - A curated list of awesome posts, videos, and articles on leading a data team (small and large)
ronakganatra/awesome-marketing - A living document of hand-picked resources for marketers.
rockerBOO/awesome-neovim - Collections of awesome neovim plugins.
rescriptbr/comece-aqui - :rocket: Quer aprender ReScript? Comece aqui
rehooks/awesome-react-hooks - Awesome React Hooks
fromthefront/awesome-how-to-run-events - A curated list of awesome "how to run events" resources
reactjs/react-basic - A description of the conceptual model of React without implementation burden.
reactjs/rfcs - RFCs for changes to React
react-native-community/RNNewArchitectureLibraries - A collection of sample React Native Libraries that will show you how to use the New Architecture (Fabric & TurboModules) step-by-step.
reHackable/awesome-reMarkable - A curated list of projects related to the reMarkable tablet
ravynsoft/ravynos - A BSD-based OS project that aims to provide an experience like and some compatibility with macOS (formerly known as airyxOS)
rajasegar/awesome-codemods - Awesome list of codemods for various languages, libraries and frameworks
rain-1/awesome-allocators - Awesome links and information about memory allocation
qmk/keyboard_awesome - A collection of awesome keyboard resources
protofire/blockchain-learning-path - A suggested learning path for blockchain development
prathyvsh/history-of-logic - A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
prathyvsh/category-theory-resources - Resources for learning Category Theory for an enthusiast
prathyvsh/pl-catalog - A catalog of programming languages
prasadgujar/low-level-design-primer - Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design interview.
prakhar1989/awesome-courses - :books: List of awesome university courses for learning Computer Science!
practical-tutorials/project-based-learning - Curated list of project-based tutorials
pliang279/awesome-phd-advice - Collection of advice for prospective and current PhD students
plenaryapp/awesome-rss-feeds - Awesome RSS feeds - A curated list of RSS feeds (and OPML files) used in Recommended Feeds and local news sections of Plenary - an RSS reader, article downloader and a podcast player app for android
lincolixavier/clube-do-livro-dev - Um Clube do Livro pra Devs
pfalcon/awesome-smarthome - Curated list of awesome SmartHome/Home Automation things (open and leaving users in control)
perifacode/conteudo-gratuito - 📌 Conteúdos gratuitos compartilhados pela comunidade.
pentium3/sys_reading - system paper reading notes
penberg/awesome-os - A curated list of resources on operating system design and implementation.
pdfernhout/High-Performance-Organizations-Reading-List - Ideas for creating and sustaining high performance organizations
p3r7/awesome-elisp - 🏵️ A curated list of Emacs Lisp development resources
leostera/awesome-alt-langs - Just a list of Awesome Alt Langs to check out
ossu/computer-science - :mortar_board: Path to a free self-taught education in Computer Science!
ossu/math - 🧮 Path to a free self-taught education in Mathematics!
opsdisk/the_cyber_plumbers_handbook - Free copy of The Cyber Plumber's Handbook - The definitive guide to Secure Shell (SSH) tunneling, port redirection, and bending traffic like a boss.
msaroufim/awesome-profiling - Awesome utilities for performance profiling
notaapp/talk - Issues and discussions for the notes app, Nota.
o-santi/functional-structures - my studies through functional implementations of common data-structures
nanotee/nvim-lua-guide - A guide to using Lua in Neovim
nrc/error-docs - Documentation of Rust error handling
niyumard/Doom-Emacs-Cheat-Sheet - This is a cheat sheet for doom emacs, mostly from the guides I see online.
nixosbrasil/nixosbrasil -
nobiot/Zero-to-Emacs-and-Org-roam - Step by step guide from zero to installing and setting up Emacs and Org-roam on Windows 10
nix-community/awesome-nix - 😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
michelbernardods/programming-challenges - Algorithmic, Data Structures, Frontend and Pentest - Programming challenges and competitions to improve knowledge.
nikomatsakis/how-to-rust - A collection of blog posts and links that talk about how to successfully use Rust.
mdibaiee/awesome-lite-websites - A list of awesome lightweight websites without all the bloat
nayafia/microgrants - A list of microgrant programs for your good ideas
newca12/awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
mehdihadeli/awesome-software-architecture - A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.
neutraltone/awesome-stock-resources - :city_sunrise: A collection of links for free stock photography, video and Illustration websites
mtdvio/every-programmer-should-know - A collection of (mostly) technical things every software developer should know about
miguelmota/bash-streams-handbook - 💻 Learn Bash streams, pipelines and redirection, from beginner to advanced.
mithi/react-philosophies - 🧘 Things I think about when I write React code 🧘
metaplex-foundation/metaplex - A directory of what the Metaplex Foundation works on!
mojoaxel/awesome-regression-testing - 🕶️ A curated list of resources around the topic: visual regression testing
mcchrish/vim-no-color-collections - Collection of Vim themes with barely any colors
michiganrobotics/rob501 - Mathematics for Robotics
mendel5/alternative-front-ends - Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)
matter-labs/awesome-zero-knowledge-proofs - A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
mbeaudru/modern-js-cheatsheet - Cheatsheet for the JavaScript knowledge you will frequently encounter in modern projects.
marcelgsantos/learning-oop-in-php - A collection of resources to learn object-oriented programming and related concepts for PHP developers.
matthewcrews/fast-fsharp -
madhu-sagar/system-design-react-code-examples - A curation of code examples and in depth technical implementation approaches to solve the common frontend system design issues in React.
lukasz-madon/awesome-concepts - Awesome list about all kinds of interesting topics: Laws, Principles, Mental Models, Cognitive Biases
mattn/awesome-twitter-communities - Awesome Twitter Communities for Engineers
mhadidg/software-architecture-books - A comprehensive list of books on Software Architecture.
itsdouges/awesome-typescript-ecosystem - 😎 A list of awesome TypeScript transformers, plugins, handbooks, etc
machiav3lli/alt3rnative - Resources of knowledge and tools from and for the digital world.
lydiahallie/javascript-questions - A long list of (advanced) JavaScript questions, and their explanations :sparkles:
loganmeetsworld/awesome-newsroom-tech - List of newsrooms around the world that are using software engineering, data science, osint, and various tech to elevate reporting.
luistak/idp-guideline - This guideline aims to help you prepare and elaborate your development plan based on a kaizen recurrent methodology.
lnishan/awesome-competitive-programming - :gem: A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
lorin/dns-alloy - Modeling DNS with Alloy
luckytoilet/projecteuler-solutions - Numerical answers to all Project Euler problems
lucasviola/awesome-functional-programming - :alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
lincolixavier/eXtreme-Programming-resources - Uma lista de recursos pra estudar e ir a fundo em ⚡ eXtreme Programming ⚡
ligurio/awesome-ci - List of Continuous Integration services
legrk/awesome-meditation - meditation and mindfulness online resources
learning-in-public/learn-you-computer-science -
learn-anything/reddit - Awesome Reddit subreddits
learn-anything/books - Awesome Books
leandromoreira/linux-network-performance-parameters - Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
lauragift21/awesome-learning-resources - 🔥 Awesome list of resources on Web Development.
lambda-study-group/awesome-functional-studies - A curated list of functional programming resources to study the fp paradigm
kvakvs/beam-wisdoms - Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).
kuchin/awesome-cto - A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
kristerkari/awesome-bundle-size - 📝 An awesome list of tools and techniques to make your web bundle size smaller and your web apps load faster.
kowainik/awesome-cabal - 💫 A curated list of awesome resources for the Haskell Cabal build tool.
kovidomi/game-reversing - Beginner learning materials on how to reverse engineer video games
kostistsaprailis/non-tech-books-for-developers - A list of non-tech books crowdsourced by the Hacker News community.
korfuri/awesome-monorepo - A curated list of awesome Monorepo tools, software and architectures.
kevinslin/open-cdk - This guide is an opinionated set of tips and best practices for working with the AWS Cloud Development Kit
kettanaito/naming-cheatsheet - Comprehensive language-agnostic guidelines on variables naming. Home of the A/HC/LC pattern.
kdeldycke/awesome-falsehood - 😱 Falsehoods Programmers Believe in
kata0510/Lily58 - 6×4+4keys column-staggered split keyboard.
karan/Projects - :page_with_curl: A list of practical projects that anyone can solve in any programming language.
kamranahmedse/design-patterns-for-humans - An ultra-simplified explanation to design patterns
kahun/awesome-sysadmin - A curated list of amazingly awesome open source sysadmin resources inspired by Awesome PHP.
jwasham/coding-interview-university - A complete computer science study plan to become a software engineer.
justjapann/easy_rust_ptbr - https://github.com/Dhghomon/easy_rust Tradução para português brasileiro do livro Easy Rust
joseemds/garden -
jorgef/engineeringladders - A framework for Engineering Managers
jorgebucaran/awsm.fish - A curation of prompts, plugins & other Fish treasures 🐚💎
jorgebucaran/cookbook.fish - From Shell to Plate: Savor the Zest of Fish 🦞
jondot/awesome-devenv - A curated list of awesome tools, resources and workflow tips making an awesome development environment.
johngrib/vimscript-cheatsheet - vimscript cheatsheet
joeycastillo/The-Open-Book -
joaocarvalhoopen/How_to_learn_modern_Rust - A guide to the adventurer.
jnv/lists - The definitive list of lists (of lists) curated on GitHub and elsewhere
jlevy/the-art-of-command-line - Master the command line, in one page
jivoi/awesome-osint - :scream: A curated list of amazingly awesome OSINT
jeanqasaur/learn-programming-languages - Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
jcelerier/cpp-teaching-manifesto - The C++ teaching manifesto
jbhuang0604/awesome-tips -
ivbeg/awesome-status-pages - Awesome list of status page open source software, services and public status pages of major internet companies
inato/fp-ts-cheatsheet - FP-TS Cheat Sheet
imthenachoman/How-To-Secure-A-Linux-Server - An evolving how-to guide for securing a Linux server.
imteekay/web-performance-research - Research on Web Performance
impressivewebs/frontend-feeds - An up to date list of RSS feeds for front-end developers.
igorbrigadir/twitter-advanced-search - Advanced Search for Twitter.
iggredible/Learn-Vim - Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖
ibraheemdev/modern-unix - A collection of modern/faster/saner alternatives to common unix commands.
iamakulov/awesome-webpack-perf - A curated list of webpack tools for web performance
iCHAIT/awesome-subreddits - :memo: A curated list of awesome programming subreddits.
hwayne/awesome-cold-showers - For when people get too hyped up about things
hughperkins/cpu-tutorial - Tutorial on building your own CPU, in Verilog
huggingface/paper-style-guide -
hongleizhang/RSPapers - A Curated List of Must-read Papers on Recommender System.
herrbischoff/awesome-command-line-apps - :shell: Use your terminal shell to do awesome things.
hendurhance/ui-ux - 📚 This guide is designed to help you learn UI/UX design, and is divided into three levels: Beginner, Intermediate, and Expert. It includes learning resource, guides and tools that cover all aspects of
hemanth/functional-programming-jargon - Jargon from the functional programming world in simple terms!
help-14/mechanical-keyboard - DIY mechanical keyboard and where to find them
hail2u/html-best-practices - For writing maintainable and scalable HTML documents
gztchan/awesome-design - 🌟 Curated design resources from all over the world.
gurugio/lowlevelprogramming-university - How to be low-level programmer
guettli/open-source-paas - Open Source PaaS List
graninas/The-Voids-Of-Haskell -
goabstract/Marketing-for-Engineers - A curated collection of marketing articles & tools to grow your product.
gmh5225/awesome-llvm-security - awesome llvm security [Welcome to PR]
getify/You-Dont-Know-JS - A book series on JavaScript. @YDKJS on twitter.
geraldoahnert/wm4noobs - Vire um mago do Linux usando window manager. Become a Linux wizard using window manager. i3wm fan guide in portuguese.
geekan/HowToLiveLonger - 程序员延寿指南 | A programmer's guide to live longer
gdcmarinho/awesome-project - 📎 A curated list of awesome project development links
gavinmn/obsidian-minimal - Meticulously designed to make Obsidian feel native on desktop, mobile and tablet. You can customize colors, fonts and more with the companion plugin Minimal Theme Settings.
gabiduarte/awesome-techleads - Uma lista selecionada de conteúdos sobre liderança técnica, com preferência em conteúdos em português
freuk/awesome-nix-hpc - high performance computing related nix resources
frehner/modern-guide-to-packaging-js-library - A guide to help ensure your JavaScript library is the most compatible, fast, and efficient library you can make.
free-educa/books - o armazém de livros
fogus/thunks - posts and code related to personal studies
flosse/rust-os-comparison - A comparison of operating systems written in Rust
florinpop17/app-ideas - A Collection of application ideas which can be used to improve your coding skills.
flipacholas/Architecture-of-consoles - Technical articles about console architecture
firstcontributions/first-contributions - 🚀✨ Help beginners to contribute to open source projects
fhammerschmidt/awesome-rescript - A collection of materials about the ReScript programming language and toolchain.
felipenlunkes/osdevbr - Tutoriais e referências para o desenvolvimento de um sistema operacional (português)
felipefialho/frontend-challenges - A public list of open-source challenges from companies around the world
fabkrum/web-performance-resources - Up to date collection of valuable web performance resources
extremecoders-re/re-list - A list of open source reverse engineering tools with a focus on binary analysis
expo/fyi - Little bits of information that you may find useful when interacting with Expo tools and service. Append the markdown filename to https://expo.fyi/ to get a quick link to it.
ept/ddia-references - Literature references for “Designing Data-Intensive Applications”
emptymalei/awesome-research - :seedling: a curated list of tools to help you with your research/life; I built a front end around this repo, please use the link below [This repo is Not Maintained Anymore]
emilebosch/awesome-fediverse - A curated, collaborative list of awesome Fediverse resources
emacs-tw/awesome-emacs - A community driven list of useful Emacs packages, libraries and other items.
elixirschool/elixirschool - The content behind Elixir School
egoist/awesome-esbuild - A curated list of awesome esbuild resources
edisionnano/Screenshare-with-audio-on-Discord-with-Linux - A repo trying to gather all info regarding proper screensharing on Discord with Desktop Audio for linux users
dzharii/awesome-typescript - A collection of awesome TypeScript resources for client-side and server-side development. Write your awesome JavaScript in TypeScript
dypsilon/frontend-dev-bookmarks - Manually curated collection of resources for frontend web developers.
dundalek/awesome-lisp-languages - A list of Lisp-flavored programming languages
douglasbc/curriculum-CS - A repository with a selection of hand picked free courses from high quality universities that amount to a full Computer Science undergrad curriculum, based on 2019's MIT undergrad curriculum.
dkozlov/awesome-knowledge-distillation - Awesome Knowledge Distillation
devsecops/awesome-devsecops - An authoritative list of awesome devsecops tools with the help from community experiments and contributions.
devrelcollective/awesome-devrel - Awesome Developer Relations resources curated by the DevRel Collective
devmozao/estante - Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas comp
delftopenhardware/awesome-open-hardware - 🛠Helpful items for making open source hardware projects.
deephacks/awesome-jvm - A curated list of awesome loosely performance related JVM stuff. Inspired by awesome-python.
decentraland-scenes/Awesome-Repository - A collection of links to examples and tutorials to help you get started building Decentraland scenes and other content.
decalage2/awesome-security-hardening - A collection of awesome security hardening guides, tools and other resources
dbanksdesign/Design-Systems-Resources -
davidmjc/6502 - svg schematic of the 6502 microprocessor
daniloab/second-brain - my second brain
dalisoft/awesome-hosting - List of awesome hosting sorted by minimal plan price
dair-ai/ML-Course-Notes - 🎓 Sharing machine learning course / lecture notes.
ctjhoa/rust-learning - A bunch of links to blog posts, articles, videos, etc for learning Rust
cs-books/influential-cs-books - Most influential books on Computer Science/programming
cryptosubtlety/intuitive-advanced-cryptography - Intuitive Advanced Cryptography
cooklang/recipes - Example recipes written in Cooklang
cooklang/spec - Home for Cooklang specification and general discussions about the ecosystem
codedamn/roadmaps - Curriculum for full-stack learning path on codedamn. Become a full-stack web developer with relevant technologies of 2022
codecrafters-io/build-your-own-x - Master programming by recreating your favorite technologies from scratch.
clockworksoul/today-i-learned - A repo to keep track of random things I learned. Most technical, many not.
chughes29/Cloud-DevSecOps-Learning - Collection of Cloud and DevSecOps learning resources
chubin/awesome-console-services - A curated list of awesome console services (reachable via HTTP, HTTPS and other network protocols)
chrishtr/async-dom -
chrisdone/elisp-guide - A quick guide to Emacs Lisp programming
chentsulin/awesome-graphql - Awesome list of GraphQL
cheeaun/awesome-hacker-news - Awesome Hacker News: a collection of awesome Hacker News apps, libraries, resources and shiny things.
cdleon/awesome-terminals - Terminal Emulators
cat-milk/Anime-Girls-Holding-Programming-Books - Anime Girls Holding Programming Books
busterbenson/public - My public self and book of beliefs.
brson/my-rust-lists - Lightly organized personal notes about Rust
bradtraversy/design-resources-for-developers - Curated list of design and UI resources from stock photos, web templates, CSS frameworks, UI libraries, tools and much more
bobeff/programming-math-science - This is a list of links to different freely available learning resources about computer programming, math, and science.
bkrem/awesome-solidity - ⟠ A curated list of awesome Solidity resources, libraries, tools and more
binhnguyennus/awesome-scalability - The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
bgavran/Category_Theory_Resources - List of resources for learning Category Theory
best-of-lists/best-of - 🏆 Discover best-of lists with awesome open-source projects on all kinds of topics.
bbatsov/emacs-lisp-style-guide - A community-driven Emacs Lisp style guide
bbatsov/clojure-style-guide - A community coding style guide for the Clojure programming language
bagder/docs - Internet protocols and tools related documentation
aztek/awesome-self-reference - A curated list of examples of self-reference in art, science, and technology
awslabs/aws-sdk-rust - AWS SDK for the Rust Programming Language
awesome-vpn/awesome-vpn - VPN/proxy WIKI .Find the best VPN/proxy 免费的VPN 代理账号翻墙科学上网梯子机场
awesome-selfhosted/awesome-selfhosted - A list of Free Software network services and web applications which can be hosted on your own servers
auctors/free-lunch - A curated list of free Windows software, online services and resources. Feel free to contribute!
atilatech/awesome-longevity - An awesome list of longevity resources for living longer, healthier lives.
asouza/pilares-design-codigo -
antoniozekic/papers_and_slides -
anshumanv/awesome-anime-sources - A curated list of everything related to anime.
andypiper/awesome-modern-twitter-api - A curated list of awesome apps built with, or libraries and resources for using, the modern Twitter API
andressadotpy/curriculum-CS - A repository with a selection of hand picked free courses from high quality universities that amount to a full Computer Science undergrad curriculum, based on 2019's MIT undergrad curriculum.
anderspitman/awesome-tunneling - List of ngrok alternatives and other ngrok-like tunneling software and services. Focus on self-hosting.
analyticalmonk/awesome-neuroscience - A curated list of awesome neuroscience libraries, software and any content related to the domain.
anaibol/awesome-serverless - :cloud: A curated list of awesome services, solutions and resources for serverless / nobackend applications.
amilajack/reading - A list of computer-science readings I recommend
alphaSeclab/awesome-reverse-engineering - Reverse Engineering Resources About All Platforms(Windows/Linux/macOS/Android/iOS/IoT) And Every Aspect! (More than 3500 open source tools and 2300 posts&videos)
alinebastos/dev-practice - Practice your skills with these ideas.
alhassy/RustCheatSheet - Rust ≈ C + OCaml
alexpate/awesome-design-systems - 💅🏻 ⚒ A collection of awesome design systems
alex/what-happens-when - An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
alebcay/awesome-shell - A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
akutruff/typescript-needs-types - TypeScript please give us types.
akullpp/awesome-java - A curated list of awesome frameworks, libraries and software for the Java programming language.
airbytehq/SQL-Levels-Explained - explaining sql levels based on one meme
agamm/awesome-developer-first - A curated list of awesome developer-first tools products.
afontcu/awesome-learning - A curated list of awesome learning material
RitikPatni/Front-End-Web-Development-Resources - This repository contains content which will be helpful in your journey as a front-end Web Developer
PaperPrototype/Intro-Coding-and-Computers - Computer science fundamentals.
PacktPublishing/Linux-for-Networking-Professionals - Linux for Networking Professionals, published by Packt
P1xt/p1xt-guides - Programming curricula
NixOS/nix-book - Nix documentation – centralized community online learning resource for Nix
NixOS/rfcs - The Nix community RFCs
NLKNguyen/awesome-language-engineering - ✨ A curated list of useful resources for computer language engineering and theory
lucascbittencourt/ArchLinux4noobs - Tutorial De Instalação da distribuição ArchLinux.
Lissy93/personal-security-checklist - 🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2023
LappleApple/awesome-leading-and-managing - Awesome List of resources on leading people and being a manager. Geared toward tech, but potentially useful to anyone.
KevinColemanInc/awesome-privacy - 💡Limiting personal data leaks on the internet
KasperZutterman/Second-Brain - A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
Julian/awesome-bugs - A collection of bizarre, funny or obscure bugs in our software and hardware
Jfaler/Philosophy - :octocat: A list of philosophy books and resources.
Experience-Monks/math-as-code - a cheat-sheet for mathematical notation in code form
JStumpp/awesome-android - A curated list of awesome Android packages and resources.
HugoMatilla/The-Pragmatic-Programmer - Summary of the book The Pragmatic Programmer by Andrew Hunt and David Thomas
Guilherme775/Haskell4Noobs - Único roadmap de Haskell possível, do noob ao Thanos
ForrestKnight/open-source-cs - Video discussing this curriculum:
FernandoKGA/recommended-links -
ErikMcClure/bad-licenses - A compendium of absurd open-source licenses.
EmilHernvall/dnsguide - A guide to writing a DNS Server from scratch in Rust
EduardoRFS/thoughts -
EbookFoundation/free-science-books - Inspired by free-programming-books, here's free-science-books
EbookFoundation/free-programming-books - :books: Freely available programming books
Ebazhanov/linkedin-skill-assessments-quizzes - Full reference of LinkedIn answers 2023 for skill assessments (aws-lambda, rest-api, javascript, react, git, html, jquery, mongodb, java, Go, python, machine-learning, power-point) linkedin excel test
DyegoCosta/trabalhando-remoto - Informações para quem trabalha ou quer trabalhar remoto
DovAmir/awesome-design-patterns - A curated list of software and architecture related design patterns.
DopplerHQ/awesome-interview-questions - :octocat: A curated awesome list of lists of interview questions. Feel free to contribute! :mortar_board:
Developer-Y/cs-video-courses - List of Computer Science courses with video lectures.
CollabCodeTech/backend-challenges - A public list of open-source challenges from jobs around the world
Clemensss/TeachYourselfCS-PT - TeachYourselfCS Portuguese Translation
BlockchainLabsNZ/awesome-solidity - A curated list of awesome Solidity resources
Blackjacx/Development - Various guides and information related to mobile development 🧑‍💻
An3sha/Anime-List - Hey! I'm making this for all the anime lovers. It includes anime series and movies of all genres
Allar/compiling-unreal - A man's notes as he discovers how Unreal Engine compiles things
AllThingsSmitty/css-protips - ⚡️ A collection of tips to help take your CSS skills pro 🦾
0xdanelia/regex_turing_machine - The find/replace box in Notepad++ is Turing Complete
0dataapp/awesome-0data - Resources around owning your data 100%
mfornos/awesome-microservices - A curated list of Microservice Architecture related principles and technologies.
fpereiro/backendlore - How I write backends
wrongbyte/awesome-learning - A curated list of resources on the science of learning anything
google/eng-practices - Google's Engineering Practices documentation
nikitavoloboev/my-ios - Apps/tools I use on iOS
serhii-londar/open-source-mac-os-apps - 🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps
dkhamsing/open-source-ios-apps - :iphone: Collaborative List of Open-Source iOS Apps
herrbischoff/awesome-macos-command-line - Use your macOS terminal shell to do awesome things.
nikitavoloboev/my-mac - Apps/tools I use on macOS
alnacle/awesome-emulators - A curated list of awesome open source emulators.
rshipp/awesome-malware-analysis - Defund the Police.
learn-anything/curated-lists - Curated lists on various topics
noctuid/evil-guide - Draft of a guide for using emacs with evil
vavkamil/awesome-vulnerable-apps - Awesome Vulnerable Applications
indianajson/can-i-take-over-dns - "Can I take over DNS?" — a list of DNS providers and how to claim (sub)domains via missing hosted zones
swisskyrepo/HardwareAllTheThings - Hardware/IOT Pentesting Wiki
henriquefb/AprendaExcelUsandoExcel - Curso de Excel Grátis Usando Excel
cpressey/Facts-about-State-Machines - I hold the opinion that state machines are underrated
karanpratapsingh/system-design - Learn how to design systems at scale and prepare for system design interviews
cortinico/space-unlimited-space - 📦 Unleash the power of Github Container Registry to store artifacts and consume them auth-free.
pditommaso/awesome-containers -
moklick/frontend-stuff - 📝 A continuously expanded list of frameworks, libraries and tools I used/want to use for building things on the web. Mostly JavaScript.
s3cm44s/osintt001 - Repository of an OSINT investigation using social engineering combined with research tools
daviddao/awful-ai - 😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness
eugeneyan/1-on-1s - 🌱 1-on-1 questions and resources from my time as a manager.
llaisdy/beam_languages - Languages, and about languages, on the BEAM
no-gravity/TwitterToNitter - Bookmarklet that shows the current Twitter page on Nitter. On every click it choses a random Nitter instance.
learning-zone/react-basics - React Basics ( v18.x )
madd86/awesome-system-design - A curated list of awesome System Design (A.K.A. Distributed Systems) resources.
curl/curl-cheat-sheet - A single page document with the most important curl options for HTTP explained
camilla-m/contributions-with-community - Contributions with community: blogs, videos, talks, podcasts, coordinating events, etc
mysteryx93/GPU-Passthrough-with-Optimus-Manager-Guide - Guide for VFIO GPU Passthrough on laptop with Optimus Manager
girliemac/a-picture-is-worth-a-1000-words - I am trying to describe complex matters in simple doodles!
cbovis/awesome-digital-nomads - 🏝 A curated list of awesome resources for Digital Nomads.
jubalh/awesome-os - A list of operating systems and stuff
petehunt/react-howto - Your guide to the (sometimes overwhelming!) React ecosystem.
caisah/emacs.dz - Awesome emacs config files
sundowndev/hacker-roadmap - A collection of hacking tools, resources and references to practice ethical hacking.
marcobiedermann/awesome-bookmarklets - 🔖 Awesome collection of helpful bookmarklets
fniessen/refcard-org-mode - Get organized and boost your productivity with our comprehensive Org mode syntax reference card! Get a quick access to helpful tips and tricks. #orgmode #syntax #productivity #referencecard
web3brasil/web3brasil - Recursos pra aprender Web3 e DeFi
github/gitignore - A collection of useful .gitignore templates
soupi/haskell-study-plan - An opinionated list of resources for learning Haskell
rust-lang/rustc-reading-club - Rust Code Reading Clubs
shahedbd/awesome-project-management - Awesome lists about Project Management interesting and useful topics.
dipakkr/A-to-Z-Resources-for-Students - ✅ Curated list of resources for college students
dexteryy/spellbook-of-modern-webdev - A Big Picture, Thesaurus, and Taxonomy of Modern JavaScript Web Development
fendevel/Guide-to-Modern-OpenGL-Functions - A guide to using modern OpenGL functions.
humancalico/nix-learning - A bunch of links to blog posts, articles, videos, etc for learning Nix
free-educa/free-livros - Educação é um direito de todos
ziishaned/learn-regex - Learn regex the easy way
elemencast/episodios - Arquivos de áudio relacionados aos episódios do Elemencast. Se você quiser participar de algum episódio, abra uma issue :smile:
anabastos/awesome-pesquisa - Curated list of research content in portuguese
luanmateuz/vim4noobs - 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui
MunGell/awesome-for-beginners - A list of awesome beginners-friendly projects.

PHP

anonaddy/anonaddy - Anonymous email forwarding
demon-i386/throatcut - Min sized shellcode executor / fake cloudflare error page for MeliziaC2
antecedent/patchwork - Method redefinition (monkey-patching) functionality for PHP.
Automattic/newspack-plugin - An advanced open-source publishing and revenue-generating platform for news organizations.
paratestphp/paratest - :computer: Parallel testing for PHPUnit
tsoding/c.php - C to Python compiler in PHP
libsdl-org/sdlweb - The website for Simple Directmedia Layer.
receipt-print-hq/escpos-tools - Utilities to read ESC/POS print data
anystack-sh/porter - Spin up your development background processes with ease 🪄
mensbeam/Arsse - The clean & modern RSS server that doesn't give you any crap. Mirror of main repository at https://code.mensbeam.com/MensBeam/arsse. Please direct your issues there.
globocom/secDevLabs - A laboratory for learning secure web and mobile development in a practical manner.
astralapp/astral - Organize Your GitHub Stars With Ease
PrivateBin/PrivateBin - A minimalist, open source online pastebin where the server has zero knowledge of pasted data. Data is encrypted/decrypted in the browser using 256 bits AES.
LeedRSS/Leed - Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui permet la consultation de flux RSS de manière rapide et non intrusive.
FreshRSS/FreshRSS - A free, self-hostable news aggregator…
BookStackApp/BookStack - A platform to create documentation/wiki content built with PHP & Laravel
nadrad/h-m-m - Hackers Mind Map

Perl

lil-lab/newsroom - Tools for downloading and analyzing summaries and evaluating summarization systems. https://summari.es/
smaslovski/pdp11dasm - PDP-11 Disassembler
rsnapshot/rsnapshot - a tool for backing up your data using rsync (if you want to get help, use https://lists.sourceforge.net/lists/listinfo/rsnapshot-discuss)
ThePrimeagen/.dotfiles -
sarabander/sicp-pdf - SICP PDF with Texinfo and LaTeX source
edolstra/nix-serve - A standalone Nix binary cache server
NixOS/hydra - Hydra, the Nix-based continuous build system

PostScript

kenjihiranabe/The-Art-of-Linear-Algebra - Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PowerShell

jamesstringerparsec/Easy-GPU-PV - A Project dedicated to making GPU Partitioning on Windows easier!
Sycnex/Windows10Debloater - Script to remove Windows 10 bloatware.
LeDragoX/Win-Debloat-Tools - These scripts will Customize, Debloat and Improve Privacy/Performance and System Responsiveness on Windows 10+.
janikvonrotz/awesome-powershell - A curated list of delightful PowerShell modules and resources

Prolog

SuperDisk/tar.pl - tar creator+extractor in ~100 lines of prolog
bitlaw-jp/the-constitution-of-japan -
math-comp/hierarchy-builder - High level commands to declare a hierarchy based on packed classes
joseemds/power-of-prolog - Exercises from https://www.metalevel.at/prolog

Python

SciPhi-AI/sciphi - SciPhi is AI's knowledge engine
typesense/typesense-docsearch-scraper - A fork of Algolia's awesome DocSearch Scraper, customized to index data in Typesense (an open source alternative to Algolia)
JunweiLiang/awesome_lists - Awesome Lists for Tenure-Track Assistant Professors and PhD students. (助理教授/博士生生存指南)
asottile/pyupgrade - A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
facundoolano/feedi - A personal news aggregator and Mastodon client
t184256/fingertip - Control VMs, containers and other machines with Python, leverage live snapshots
python-hyper/h2 - HTTP/2 State-Machine based protocol implementation
Bishalsarang/Recursion-Tree-Visualizer - A simple python package that helps to visualise any recursive function by adding a single line of code.
bentoml/OpenLLM - Operating LLMs in production
peeringdb/peeringdb - Server code for https://www.peeringdb.com/
facebookresearch/nougat - Implementation of Nougat Neural Optical Understanding for Academic Documents
explosion/spacy-llm - 🦙 Integrating LLMs into structured NLP pipelines
a13xp0p0v/kernel-hardening-checker - A tool for checking the security hardening options of the Linux kernel
kelvins/algorithms-and-data-structures - :abacus: Algorithms and Data Structures in several Programming Languages
EmanuelCampos/gh-index - Interact with your GitHub repositories and execute specific queries through CLI
github/innovationgraph - GitHub Innovation Graph
flairNLP/fabricator - [EMNLP 2023 Demo] fabricator - annotating and generating datasets with large language models.
rberenguel/PiWrite - Use your Kindle Paperwhite as a writing device
NVlabs/verilog-eval - Verilog evaluation benchmark for large language model
keyvank/pygates - Simulating a CPU made of logic gates
official-stockfish/books - Chess books used to develop Stockfish
leptonai/leptonai - A Pythonic framework to simplify AI service building
makelinux/linux_kernel_map - Linux kernel map
microsoft/promptflow - Build high-quality LLM apps - from prototyping, testing to production deployment and monitoring.
KillianLucas/open-interpreter - OpenAI's Code Interpreter in your terminal, running locally
brain-facens/br-address-parser - A simple parser for brazilian addresses
mnielsen/neural-networks-and-deep-learning - Code samples for my book "Neural Networks and Deep Learning"
wmariuss/awesome-devops - A curated list of awesome DevOps platforms, tools, practices and resources
firmai/financial-machine-learning - A curated list of practical financial machine learning tools and applications.
satwikkansal/wtfpython - What the f*ck Python? 😱
linkchecker/linkchecker - check links in web documents or full websites
beancount/beancount - Beancount: Double-Entry Accounting from Text Files.
yairchu/awesome-structure-editors - A list of projectional and structural editors
lancedb/lancedb - Developer-friendly, serverless vector database for AI applications. Easily add long-term memory to your LLM apps!
spandanb/learndb-py - Learn database internals by implementing it from scratch.
kha-white/manga-ocr - Optical character recognition for Japanese text, with the main focus being Japanese manga
initialcommit-com/git-sim - Visually simulate Git operations in your own repos with a single terminal command.
jvns/dig-pretty -
guardrails-ai/guardrails - Adding guardrails to large language models.
web-arena-x/webarena - Code repo for "WebArena: A Realistic Web Environment for Building Autonomous Agents"
kerberosmansour/TLA_AutoRepair - A TLA+ AutoRepair System For Formal Specification with GPT-4
deepinsight/insightface - State-of-the-art 2D and 3D Face Analysis Project
nwg-piotr/autotiling - Script for sway and i3 to automatically switch the horizontal / vertical window split orientation
google-research/robopianist - [CoRL '23] Dexterous piano playing with deep reinforcement learning.
Lxtharia/minegrub-theme - A Grub Theme in the style of Minecraft!
openai/tiktoken - tiktoken is a fast BPE tokeniser for use with OpenAI's models.
andreroggeri/pynubank - Acesse seus extratos do Nubank pelo Python
mingrammer/diagrams - :art: Diagram as Code for prototyping cloud system architectures
eth-sri/lmql - A language for constraint-guided and efficient LLM programming.
open2c/bioframe - Pandas utilities for tab-delimited and other genomic data files
simonw/llm - Access large language models from the command-line
basetenlabs/llama-2-ggml - A Truss with quantized Llama 2 for CPU or GPU accelerated use.
havenhq/haven - Deploy LLMs on your own cloud
RipperJ/RISC-V_CPU - RISC-V 32i Pipeline CPU and Assembler
georgewhewell/undervolt - Undervolt Intel CPUs under Linux
danswer-ai/danswer - Ask Questions in natural language and get Answers backed by private sources. Connects to tools like Slack, GitHub, Confluence, etc.
nedbat/watchgha - Live display of current GitHub action runs
PoorlyDefinedBehaviour/basics-of-linear-algebra-for-machine-learning -
ManimCommunity/manim - A community-maintained Python framework for creating mathematical animations.
twitterdev/bookmarks-to-notion - A sample app that exports your bookmarks to a Notion page
morph-labs/rift - Rift: an AI-native language server for your personal AI software engineer
rueckstiess/mtools - A collection of scripts to set up MongoDB test environments and parse and visualize MongoDB log files.
0hq/tinyvector - A tiny nearest-neighbor embedding database built with SQLite and Pytorch. (In development!)
AsahiLinux/m1n1 - A bootloader and experimentation playground for Apple Silicon
GlasgowEmbedded/glasgow - Scots Army Knife for electronics
TransformerOptimus/SuperAGI - <⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
ParthJadhav/Tkinter-Designer - An easy and fast way to create a Python GUI 🐍
react-native-skia/react-native-skia - Cross platform React Native solution to draw graphics based on Skia
pahaz/sshtunnel - SSH tunnels to remote server.
AntonOsika/gpt-engineer - Specify what you want it to build, the AI asks for clarification, and then builds it.
discus0434/paper-summarizer - A Slack Bot for summarizing arXiv papers, powered by OpenAI LLMs.
Azornes/ocrTranslator - Convert captured images to text using BaiduOCR, GoogleOCR, WindowsOCR, tesseractOCR, RapidOCR or Capture2Text, and translate the resulting text using Google, Chatgpt, Edgegpt, DeepL or many more. Desk
josethz00/no-brainer-gpt - No Brainer GPT Assistant. AI Assistant to help you to study and learn faster
facebookresearch/audiocraft - Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable mu
ruanbekker/grafana-observability-primer - Grafana Observability Primer
xorvoid/milk_and_cookies - Milk and Cookies: An Abstract Algebra
PromtEngineer/localGPT - Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
mre/timelapse - 🎬 Native macOS app for recording timelapse videos of your desktop.
commaai/openpilot - openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for 250+ supported car makes and models.
tinygrad/tinygrad - You like pytorch? You like micrograd? You love tinygrad! ❤️
echo724/notion2md - Notion Markdown Exporter with Python Cli
awslabs/specctl - CLI to convert Kubernetes specifications to ECS Fargate and vice-versa
30350n/free2ki - FreeCAD to KiCad 3D model exporter
mesejo/trex - Efficient string matching with regular expressions
wenhuchen/TheoremQA - The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
Yelp/dumb-init - A minimal init system for Linux containers
DanMcInerney/wifijammer - Continuously jam all wifi clients/routers
mishamyrt/Lilex - 🤘Open source programming font
svpino/rfeed - Extensible RSS 2.0 Feed Generator written in Python
google/jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
imartinez/privateGPT - Interact with your documents using the power of GPT, 100% privately, no data leaks
smol-ai/developer - the first library to let you embed a developer agent in your own app!
chubin/cheat.sh - the only cheat sheet you need
lnxpy/hey - 💬 AI-powered Pair Programming Friend for @hashnode X @mindsdb Hackathon!
xtekky/gpt4free - The official gpt4free repository | various collection of powerful language models
facebookresearch/encodec - State-of-the-art deep learning based audio codec supporting both mono 24 kHz audio and stereo 48 kHz audio.
Vision-CAIR/MiniGPT-4 - Open-sourced codes for MiniGPT-4 and MiniGPT-v2
haotian-liu/LLaVA - [NeurIPS'23 Oral] Visual Instruction Tuning: LLaVA (Large Language-and-Vision Assistant) built towards GPT-4V level capabilities.
UX-Decoder/Segment-Everything-Everywhere-All-At-Once - [NeurIPS 2023] Official implementation of the paper "Segment Everything Everywhere All at Once"
dunhamsteve/notesutils - Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.
marqo-ai/marqo - Vector search for humans. Also available on cloud - cloud.marqo.ai
e2b-dev/e2b - Sandboxed cloud environments for AI agents & apps with a single line of code
carlospolop/hacktricks - Welcome to the page where you will find each trick/technique/whatever I have learnt in CTFs, real life apps, and reading researches and news.
acheong08/EdgeGPT - Reverse engineered API of Microsoft's Bing Chat AI
adrienverge/yamllint - A linter for YAML files.
ezelikman/parsel - Code for Parsel 🐍 - generate complex programs with language models
selfspy/selfspy - Log everything you do on the computer, for statistics, future reference and all-around fun!
CadQuery/cadquery - A python parametric CAD scripting framework based on OCCT
TomSchimansky/CustomTkinter - A modern and customizable python UI-library based on Tkinter
PrefectHQ/marvin - ✨ Build AI interfaces that spark joy
twitter/the-algorithm-ml - Source code for Twitter's Recommendation Algorithm
Jacksgong/webp-converter - Converter PNG/JPG to Webp and scan all changes
hpcaitech/ColossalAI - Making large AI models cheaper, faster and more accessible
Bueloslef/Exe01-Grafos -
feizc/MLE-LLaMA - Multi-language Enhanced LLaMA
lucidrains/musiclm-pytorch - Implementation of MusicLM, Google's new SOTA model for music generation using attention networks, in Pytorch
AUTOMATIC1111/stable-diffusion-webui - Stable Diffusion web UI
netspooky/scare - A multi-arch assembly REPL and emulator for your command line.
paperless-ngx/paperless-ngx - A community-supported supercharged version of paperless: scan, index and archive all your physical documents
laramies/theHarvester - E-mails, subdomains and names Harvester - OSINT
kovasap/autojournal - A general-purpose personal data management system
logspace-ai/langflow - ⛓️ Langflow is a UI for LangChain, designed with react-flow to provide an effortless way to experiment and prototype flows.
nat/natbot - Drive a browser with GPT-3
alilleybrinker/langs-in-rust - A list of programming languages implemented in Rust, for inspiration.
markasoftware/llama-cpu - Fork of Facebooks LLaMa model to run on CPU
OpenBB-finance/OpenBBTerminal - Investment Research for Everyone, Everywhere.
amanusk/s-tui - Terminal-based CPU stress and monitoring utility
Sanster/tldream - A tiny little diffusion drawing app
bgavran/Category_Theory_Machine_Learning - List of papers studying machine learning through the lens of category theory
bl0x/learn-fpga-amaranth - Code for Bruno Levy's learn-fpga tutorial written in Amaranth HDL
bagder/uncurled - Uncurled - everything I know and learned about running and maintaining Open Source projects for three decades.
acantril/learn-cantrill-io-labs - Standard and Advanced Demos for learn.cantrill.io courses
julien-sobczak/anki-cli - CLI to create flashcards in Anki
nickdiego/compiledb - Tool for generating Clang's JSON Compilation Database files for make-based build systems.
tubearchivist/tubearchivist - Your self hosted YouTube media server
facebookresearch/llama - Inference code for LLaMA models
microsoft/molskill - Extracting medicinal chemistry intuition via preference machine learning
fritzo/nohm - Nondeterministic Optimal Higher-order Machine
karpathy/minGPT - A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
jaymody/picoGPT - An unnecessarily tiny implementation of GPT-2 in NumPy.
haofanwang/Lora-for-Diffusers - The most easy-to-understand tutorial for using LoRA (Low-Rank Adaptation) within diffusers framework for AI Generation Researchers🔥
FMInference/FlexGen - Running large language models on a single GPU for throughput-oriented scenarios.
one-among-us/TwitterBackup - Backup other users' twitter accounts with Twitter API
hashicorp-forge/grove - A Software as a Service (SaaS) log collection framework.
explosion/radicli - 🕊️ Radically lightweight command-line interfaces
numagic/lumos - scalable accelerated optimal control
hlorus/CAD_Sketcher - Constraint-based geometry sketcher for blender
jcpeterson/openwebtext - Open clone of OpenAI's unreleased WebText dataset scraper. This version uses pushshift.io files instead of the API for speed.
Mailu/Mailu - Insular email distribution - mail server as Docker images
cooked/kimotor - KiCad plugin for the design of parametric PCB motors
Dao-AILab/flash-attention - Fast and memory-efficient exact attention
UuuNyaa/blender_motion_generate_tools - motion_generate_tools is a Blender addon for generate motion using MDM: Human Motion Diffusion Model.
arrowtype/recursive - Recursive Mono & Sans is a variable font family for code & UI
osu-cvl/learning-idk - Code for "Learning When to Say 'I Don't Know'".
huggingface/text-generation-inference - Large Language Model Text Generation Inference
JezerM/web-greeter - A modern, visually appealing greeter for LightDM.
LAION-AI/Open-Assistant - OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
mmz-001/knowledge_gpt - Accurate answers and instant citations for your documents.
google-deepmind/mctx - Monte Carlo tree search in JAX
kurogai/100-redteam-projects - Projects for security students
aws/git-remote-codecommit - An implementation of Git Remote Helper that makes it easier to interact with AWS CodeCommit
Labsmore/pyuscope - Python microscope software for lab automation
miyuchina/mistletoe - A fast, extensible and spec-compliant Markdown parser in pure Python.
mnemosyne-proj/mnemosyne - Mnemosyne: efficient learning with powerful digital flash-cards.
acheong08/ChatGPT - Reverse engineered ChatGPT API
lucidrains/medical-chatgpt - Implementation of ChatGPT, but tailored towards primary care medicine, with the reward being able to collect patient histories in a thorough and efficient manner and come up with a reasonable differen
code-yeongyu/AiShell - AiShell: A Natural Language Shell like GitHub Copilot X, Powered by ChatGPT
nfcpy/nfcpy - A Python module to read/write NFC tags or communicate with another NFC device.
MaximeVandegar/Papers-in-100-Lines-of-Code - Implementation of papers in 100 lines of code.
utah-cs4470-sp23/grader - Auto-grader for CS 4470 (Spring 2023)
benlipkin/probsem - Probabilistic LLM evaluations. [CogSci2023; ACL2023]
alexwlchan/docstore - Organising my scanned documents and reference files with keyword tagging
mchaput/whoosh - Pure-Python full-text search library
allenai/longformer - Longformer: The Long-Document Transformer
bridgecrewio/checkov - Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
pachterlab/gget - 🧬 gget enables efficient querying of genomic reference databases
SeldonIO/alibi - Algorithms for explaining machine learning models
microsoft/cascadia-code - This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.
yt-dlp/yt-dlp - A youtube-dl fork with additional features and fixes
Spico197/paper-hero - 💪 A toolkit to help search for papers from aclanthology, arXiv and dblp.
v-iashin/video_features - Extract video features from raw videos using multiple GPUs. We support RAFT and PWC flow frames as well as S3D, I3D, R(2+1)D, VGGish, CLIP, ResNet features.
chroma-core/chroma - the AI-native open-source embedding database
langchain-ai/langchain - ⚡ Building applications with LLMs through composability ⚡
james-stoup/heatwave - Visualize your git commits with a heat map in the terminal
DavidBuchanan314/hello_png - Example code from my blog post of the same title
facebookarchive/codemod - Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at Face
albanie/algorithms-and-data-structures - Video descriptions and minimalist Python implementations of algorithms and data structures.
mindsdb/mindsdb - MindsDB connects AI models to real time data
copier-org/copier - Library and command-line utility for rendering projects templates.
ycm-core/YouCompleteMe - A code-completion engine for Vim
cu/silicon - Silicon Notes, a web-based personal knowledge base with few frills
QBobWatson/ila - Interactive Linear Algebra
stnolting/neorv32-riscof - ✔️Port of RISCOF to verify the NEORV32 Processor for RISC-V ISA compatibility.
Ultimaker/Cura - 3D printer / slicing GUI built on top of the Uranium framework
karpathy/nanoGPT - The simplest, fastest repository for training/finetuning medium-sized GPTs.
rob-smallshire/hindley-milner-python - Hindley-Milner Type Inference implemented in (although not for) Python.
bryandlee/Tune-A-Video - Unofficial implementation of Tune-A-Video
emeryberger/CSrankings - A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
bellingcat/auto-archiver - Automatically archive links to videos, images, and social media content in a Google Sheet.
rom1504/any2dataset - Turn any collection of files into a dataset
facebookresearch/hyperreel - Code release for HyperReel: High-Fidelity 6-DoF Video with Ray-Conditioned Sampling
Owez/yark - YouTube archiving made simple.
lukas-blecher/LaTeX-OCR - pix2tex: Using a ViT to convert images of equations into LaTeX code.
tonybeltramelli/pix2code - pix2code: Generating Code from a Graphical User Interface Screenshot
EdOverflow/can-i-take-over-xyz - "Can I take over XYZ?" — a list of services and how to claim (sub)domains with dangling DNS records.
andre-fuchs/kerning-pairs - The ultimate list of kerning pairs for type designers
bigscience-workshop/petals - 🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading
Z4nzu/hackingtool - ALL IN ONE Hacking Tool For Hackers
alexmolas/ml-blogs - A public repository of personal ML/DS blogs.
run-llama/llama_index - LlamaIndex (formerly GPT Index) is a data framework for your LLM applications
hugsy/cemu - Cheap EMUlator: lightweight multi-architecture assembly playground
SamirPaulb/DSAlgo - 📚A repository that contains all the Data Structures and Algorithms concepts and solutions to various problems in Python3 stored in a structured manner.👨‍💻🎯
sergree/matchering - 🎚️ Open Source Audio Matching and Mastering
eudoxia0/cartesian - My personal exocortex
bookwyrm-social/bookwyrm - Social reading and reviewing, decentralized with ActivityPub
beancount/fava - Fava - web interface for Beancount
davep/textual-astview - A Textual-based Python AST viewing widget library and application
deadc0de6/dotdrop - Save your dotfiles once, deploy them everywhere
aws/aws-cli - Universal Command Line Interface for Amazon Web Services
DavidMChan/ArXiV-Notify - ArXiV Notification Bot which sends you an email with the latest updates!
jvns/teeceepee - mini-TCP stack in Python, for fun
getsentry/sentry - Developer-first error tracking and performance monitoring
rossant/awesome-math - A curated list of awesome mathematics resources
ohmyform/ohmyform - ✏️ Free open source alternative to TypeForm, TellForm, or Google Forms ⛺
frostming/legit - Git for Humans, Inspired by GitHub for Mac™.
lukew3/mathgenerator - A math problem generator, created for the purpose of giving self-studying students and teaching organizations the means to easily get access to high-quality, generated math problems to suit their need
willmcgugan/textual-markdown -
PostHog/posthog - 🦔 PostHog provides open-source product analytics, session recording, feature flagging and A/B testing that you can self-host.
xfgusta/cexpl - Command-line tool to interact with Compiler Explorer
huggingface/diffusers - 🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
PacktPublishing/Data-Engineering-with-AWS - Data Engineering with AWS, Published by Packt
LiberlandHacker/OSSP-CS - My self-directed MIT OCW [et al] Computer Science Education.
ab77/netflix-proxy - Smart DNS proxy to watch Netflix
Wookai/paper-tips-and-tricks - Best practice and tips & tricks to write scientific papers in LaTeX, with figures generated in Python or Matlab.
StevenBlack/hosts - 🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
RunaCapital/awesome-oss-alternatives - Awesome list of open-source startup alternatives to well-known SaaS products 🚀
ytdl-org/youtube-dl - Command-line program to download videos from YouTube.com and other video sites
wkrettek/youmirror - Create a mirror of your favorite youtube videos!
vlazzarini/instruments - Examples for the 'Computer Music Instruments' book.
ungoogled-software/ungoogled-chromium - Google Chromium, sans integration with Google
toolleeo/cli-apps - The largest Awesome Curated list of CLI/TUI applications with source data organized into CSV files
slavfox/Cozette - A bitmap programming font optimized for coziness 💜
siebenmann/dwiki - DWiki is the file based wiki-thing that Chris Siebenmann uses for his blogs. It's written in a pile of Python.
rougier/scientific-visualization-book - An open access book on scientific visualization using python and matplotlib
rotki/rotki - A portfolio tracking, analytics, accounting and management application that protects your privacy
qutebrowser/qutebrowser - A keyboard-driven, vim-like browser based on Python and Qt.
fspv/learning - Leetcode solutions, contests and some other algorithm-related stuff
oz9un/crypto_basics - I am learning&creating stuffs about cryptography.
leostera/dotfiles - :floppy_disk: ~/.*
nordlow/compiler-benchmark - Benchmarks compilation speeds of different combinations of languages and compilers.
nmhancock/type-inferencing - Hindley–Milner Type inferencing in C
nix-community/nix-direnv - A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
nix-community/NUR - Nix User Repository: User contributed nix packages [maintainer=@Mic92]
mhxion/awesome-discord-communities - A curated list of awesome Discord communities for programmers
mostafatouny/awesome-theoretical-computer-science - The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
mov-cli/mov-cli - A cli tool to browse and watch Movies/Shows/TV/Sports.
localstack/localstack - 💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
larsbijl/trending_archive - a Archive of the github daily trending information
kracejic/dotfiles - my personal dotfiles for tmux, bash, vim and git
kiwidamien/SQL_practice - A collection of SQL practice problems for interviews
kholia/OSX-KVM - Run macOS on QEMU/KVM. With OpenCore + Big Sur + Monterey + Ventura support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
juanplopes/simple-algorithms - :book: Collection of didactic algorithm implementations
jonaswinkler/paperless-ng - A supercharged version of paperless: scan, index and archive all your physical documents
home-assistant/core - :house_with_garden: Open source home automation that puts local control and privacy first.
mealie-recipes/mealie - Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recipes
facundoolano/software-papers - 📚 A curated list of papers for Software Engineers
emacs-eaf/emacs-application-framework - EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
donnemartin/system-design-primer - Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
dhilst/lis.py - Small lisp interpreter in Python
dexpota/kitty-themes - A collection of themes for kitty terminal 😻
dend/arxiv-sanity-feeds - 🦔 Subscribe to the content published on Arxiv Sanity.
khoj-ai/khoj - An AI copilot for your second brain. Search and chat with your personal knowledge base, online or offline
crista/exercises-in-programming-style - Comprehensive collection of programming styles using a simple computational task, term frequency
ciromattia/kcc - KCC (a.k.a. Kindle Comic Converter) is a comic and manga converter for ebook readers.
ccontavalli/ssh-ident - Different agents and different keys for different projects, with ssh.
carterprince/libby - a simple CLI tool to quickly download books from Library Genesis (libgen)
browserengineering/book - Web browser engineering (a book)
avinassh/py-caskdb - (educational) build your own disk based KV store
archlinux/archinstall - Arch Linux installer - guided, templates etc.
amaranth-lang/amaranth - A modern hardware definition language and toolchain based on Python
NixOS/nixops - NixOps is a tool for deploying to NixOS machines in a network or cloud.
NixOS/nix.dev - Official documentation for getting things done with Nix.
MrGlockenspiel/the-sound-of-CPU-usage - What does CPU usage sound like? Like this, apparently.
Matoking/protontricks - A wrapper that does winetricks things for Proton enabled games, requires Winetricks.
MathInspector/MathInspector - A visual programing environment for scientific computing with python
Dingmatt/AMSA - A Plex anime agent using TVDB and AniDB data
Blobbackup/Blobbackup - Private, Secure Computer Backups
AdnanHodzic/auto-cpufreq - Automatic CPU speed & power optimizer for Linux
ActivityWatch/activitywatch - The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
3b1b/videos - Code for the manim-generated scenes used in 3blue1brown videos
3b1b/manim - Animation engine for explanatory math videos
0xAX/linux-insides - A little bit about a linux kernel
tsoding/JelloVM - JVM in Python that can only run "Hello, World"
luong-komorebi/Awesome-Linux-Software - 🐧 A list of awesome Linux softwares
dschep/ntfy - 🖥️📱🔔 A utility for sending notifications, on demand and when commands finish.
barrettotte/md-graph - Generate interactive network graph from markdown link relationships
atlanhq/camelot - Camelot: PDF Table Extraction for Humans
bregman-arie/devops-exercises - Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
costis94/bookcut - Command Line Interface tool to download, organise and search free ebooks from your terminal in a moment.
pimutils/khal - :calendar: CLI calendar application
chip-red-pill/MicrocodeDecryptor -
waydroid/waydroid - Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.
sherlock-project/sherlock - 🔎 Hunt down social media accounts by username across social networks
cirosantilli/linux-kernel-module-cheat - The perfect emulation setup to study and develop the Linux kernel v5.4.3, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug
gauss314/defi - Tools for use in DeFi. Impermanent Loss calculations, staking and farming strategies, coingecko and pancakeswap API queries, liquidity pools and more
pcbre/pcbre - An integrated printed circuit board reverse engineering toolkit

QML

Swordfish90/cool-retro-term - A good looking terminal emulator which mimics the old cathode display...

R

nrennie/learning-statistics - Shiny app to explore introductory statistical concepts.
andreaspacher/openeditors - Webscraping data about editors of scientific journals.

Racket

uemurax/morg - Organize mathematical thoughts
uemurax/hott-ja - HoTT in Japanese
otherjoel/splitflap - 🔖⚛️ RSS / Atom feed generation library for Racket
metareflection/poof - Prototypes: Object Orientation, Functionally

ReScript

vaclavhrach/rescript-effect-reducer - React.useReducer hook on steroids with the possibility of side-effects controlling
rescriptbr/ancestor - :skull: UI primitives for ReScript and React
rescript-react-native/rescript-react-native - ReScript bindings for React Native
rescript-lang/rescript-react - Official ReScript bindings for ReactJS
banacorn/agda-mode-vscode - agda-mode on VS Code
giraud/bs-css - Statically typed DSL for writing css in reason.

Reason

danielo515/reason-ls - Build a simple command line utility in reason/Ocaml
grain-lang/grain - The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
davesnx/query-json - Faster, simpler and more portable implementation of jq in Reason
davesnx/styled-ppx - Type-safe styled components for ReScript and Melange with type-safe CSS
EduardoRFS/thing - A programming language, aka a THING
EduardoRFS/reason-mobile -
EduardoRFS/reason-css-parser -
EduardoRFS/reason-css-vds - Parse CSS value definition syntax as stated at https://drafts.csswg.org/css-values-3/#value-defs

Rich Text Format

jlord/patchwork - All the Git-it Workshop completers!

Roff

0beqz/realism-effects - SSGI, Motion Blur, TRAA - Effects to enhance your three.js scene's realism

Ruby

splitrb/split - :chart_with_upwards_trend: The Rack Based A/B testing framework
klausmeyer/docker-registry-browser - 🐳 Web Interface for the Docker Registry HTTP API V2 written in Ruby on Rails.
basecamp/kamal - Deploy web apps anywhere.
octobox/octobox - 📮Untangle your GitHub Notifications
Shopify/turbolinks-jwt-sample-app - A sample app made to demo Shopify's Next-Gen Auth flow using Turbolinks
Shopify/next-gen-auth-app-demo - A sample app made to demo Shopify's Next-Gen Auth flow using JWTs
bensheldon/good_job - Multithreaded, Postgres-based, Active Job backend for Ruby on Rails.
docusealco/docuseal - Open source DocuSign alternative. Create, fill, and sign digital documents ✍️
kkuchta/css-only-chat - A truly monstrous async web chat using no JS whatsoever on the frontend
apple/homebrew-apple -
zedbydade/ruby-database - goat database
homebrew-ffmpeg/homebrew-ffmpeg - A homebrew tap for an ffmpeg formula with lots of options
red-data-tools/YouPlot - A command line tool that draw plots on the terminal.
railslove/rack-tracker - Tracking made easy: Don’t fool around with adding tracking and analytics partials to your app and con

my-awesome-stars my-awesome-stars copied to clipboard

Metadata

Awesome Stars

Contents

AGS Script

ActionScript

Ada

Adblock Filter List

Agda

Assembly

Astro

Awk

Batchfile

Bikeshed

Blade

C

C#

C++

CMake

COBOL

CSS

Clojure

CodeQL

CoffeeScript

Common Lisp

Coq

Cuda

Curry

D

Dart

Dockerfile

EJS

Elixir

Elm

Emacs Lisp

Erlang

F#

F*

Fennel

G-code

GDScript

GLSL

Gleam

Gnuplot

Go

HCL

HTML

Hack

Haskell

Haxe

Idris

Janet

Java

JavaScript

Jinja

Julia

Jupyter Notebook

Just

Kotlin

LLVM

Lean

Liquid

Lua

MDX

Makefile

Markdown

Mercury

Mustache

NASL

Nim

Nix

Nunjucks

Nushell

OCaml

Objective-C

Objective-C++

Open Policy Agent

Org

Others

PHP

my-awesome-stars
my-awesome-stars copied to clipboard