MathieuBordere

sqlitefs

sqlite as a filesystem

sqlite

Official Git mirror of the SQLite source tree

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

d3

Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

p5.js

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —

cryptpad

Collaborative office suite, end-to-end encrypted and open-source.

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

arrow

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

z3_splash_class

This repo holds materials for our Splash 2017 class on Z3.

cryptominisat

An advanced SAT solver

minisat

A minimalistic and high-performance SAT solver

awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

sage

Main repository of SageMath

specifications

The public specifications for the C2PA

lazyfs

LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

zaproxy

The ZAP core project

dask

Parallel computing with task scheduling

JsBarcode

Barcode generation library written in JavaScript that works in both the browser and on Node.js

Public-APIs

📚 A public list of APIs from round the web.

WebKit-RegEx-Exploit

PS4-playground

A set of PS4 experiments using the WebKit exploit

Tech-Interview-Important-Topics-and-Techniques

This repository contains everything you need to become tech interview Ready with most important tips and techniques

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

ggml

Tensor library for machine learning

llama.cpp

LLM inference in C/C++

Bend

A massively parallel, high-level programming language

llamafile

Distribute and run LLMs with a single file.

cosmopolitan

build-once run-anywhere c library