Приложение локально запускает ByeDPI и перенаправляет весь трафик через него

Bibliography of Scheme-related Research

Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.

Sample programs for comparison of different VM interpretation techniques

A registry of third-party Optuna packages

Examples for https://github.com/optuna/optuna

A hyperparameter optimization framework

Chess reinforcement learning by AlphaZero methods.

AI Inferencing at the Edge. A simple one-file way to run various GGML models with KoboldAI's UI with AMD ROCm offloading

x86 JIT compiler in 86 lines

Deobfuscation of the Toledo Javascript Chess

Everything I know

Development of the univalent foundations of mathematics in 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 develo…

Conference on Homotopy Type Theory 2023

EsoLangVM Compiler Infrastructure

Tox Protocol Specification

500 Lines or Less

Преобразования регулярных выражений и конечных автоматов

A Firefox and Google Chrome extension to clip websites and download them into a readable markdown file.

UCalgary version of forallx, an introduction to formal logic

The future of online communications.

The single instruction C compiler

Inference Llama 2 in one file of pure Python

Run GGUF models easily with a KoboldAI UI. One File. Zero Install.

📙 Перевод книги Problem Solving with Algorithms and Data Structures Using Python

Locally run an Instruction-Tuned Chat-Style LLM

Electronic Circuit Simulator in the Browser

nml is a "simple" matrix/numerical analysis library written in pure C. The scope of the library is to highlight various algorithm implementations related to matrices. Code readability was a major c…