mklymyshyn

fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

compsci_guides

Guides focused on fundamental computer science concepts

public-apis

A collective list of free APIs

ios-safari-remote-debug-kit

Remotely debugging iOS Safari on Windows and Linux

muuri

Infinite responsive, sortable, filterable and draggable layouts

tailwind-converter

Convert plain HTML/CSS into tailwind

llama_index

LlamaIndex is a data framework for your LLM applications

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

seafaring

Code for "Active Learning from the Web" (WWW 2023)

LearnML

This is the Study Guide for Learn Machine Learning in 3 Months (PyTorch Curriculum) by Siraj Raval on Youtube

formulaic

A high-performance implementation of Wilkinson formulas for Python.

Modern-CPP-Programming

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

llama.cpp

LLM inference in C/C++

system-design-primer

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

api-guidelines

Microsoft REST API Guidelines

Common-Metadata-Repository

tendermint

⟁ Tendermint Core (BFT Consensus) in Go

Hack

A typeface designed for source code

hara

code design patterns

simbit

javascript p2p network simulator

Cartonization

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

mermaid

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

awesome-emacs

A community driven list of useful Emacs packages, libraries and other items.

trio

Trio – a friendly Python library for async concurrency and I/O

Pipe

A Python library to use infix notation in Python

clj-aql

Clojure DSL for ArangoDB queries

monotony

A scheduling library for humans.

theorem-prover

An automated theorem prover for first-order logic.