Renoir Fortytwo's repositories
activitypub-federation-rust
High-level Rust library for the Activitypub protocol
arrow-datafusion
Apache Arrow DataFusion SQL Query Engine
brickworks
Brickworks
ClairvoyanceMonad
The Coq formalization of the paper Reasoning about the garden of forking paths.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
IntervalArithmetic.jl
Rigorous floating-point calculations using interval arithmetic in Julia
pedersen-bench
Benchmarks for Pedersen hash implementations
specification
Ferrocene Language Specification
browser-extension
Automate your browser with GPT-4
BVQI
[ICME 2023, Extended] The best zero-shot VQA approach that even outperforms several fully-supervised methods.
ChuanhuChatGPT
GUI for ChatGPT API and any LLM
DALLE2-pytorch
Implementation of DALL-E 2, OpenAI's updated text-to-image synthesis neural network, in Pytorch
DSLsofMath
Domain-Specific Languages of Mathematics
Fairy-Stockfish
chess variant engine supporting Xiangqi, Shogi, Janggi, Makruk, S-Chess, Crazyhouse, Bughouse, and many more
Grounded-Segment-Anything
Marrying Grounding DINO with Segment Anything & Stable Diffusion & BLIP - Automatically Detect , Segment and Generate Anything with Image and Text Inputs
NeurIPS-2022-Submission-3358
This is the code for the Submission 3358 at NeurIPS 2022.
openai-translator
基于 ChatGPT API 的划词翻译浏览器插件和跨平台桌面端应用 - Browser extension and cross-platform desktop application for translation based on ChatGPT API.
plrust
A Rust procedural language handler for PostgreSQL
spvm
Tiny C++ SPIR-V virtual machine (interpreter), can be used for shader debugging. Spvm-ShaderToy simulated the runtime environment of shadertoy, and execute shader code using SPVM.
waifud
For your server and all of its waifus <3