The repository for the guide: "Using pgfplots to make economic graphs in LaTeX".

A simple static site generator written from scratch in pure Python

A short guide on how to access Denmark's Statistics API with python, together with a helper class that facilitates the collection of data and metadata from any DST's table

This is the Curriculum for "Learn Data Science in 3 Months" By Siraj Raval on Youtube

Pandoc (Python Library)

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

HTML5 form validation helpers

Lean 4 programming language and theorem prover

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

Lean Theorem Prover

Fast math typesetting for the web.

Master programming by recreating your favorite technologies from scratch.

Best Practices on Recommendation Systems

An operating function

Xapiand: A RESTful Search Engine

A record-oriented store built on FoundationDB

Anonymous peer-to-peer instant messaging

📡 All You Need to Know About Deep Learning - A kick-starter

A Python Mail Server

Mailing for human beings

Python IMAP for Human beings

Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server: a mail server in a box.

Beautify your Git Logs !

A command-line tool for managing contacts, written in Go.

General purpose plain text editor for macOS. Widely known for its live collaboration feature.

A queueing network model for spaced repetition

All-pair set similarity search on millions of sets in Python and on a laptop

A rich text editor for everyday writing

The note app for managers.