brurucy

followers

following

stars

Tallinn

Organizations

DataSystemsGroupUT

Bruno Rucy Carneiro Alves de Lima's starred repositories

pytest

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

Language:PythonMIT1173200

apheleia

🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.

Language:Emacs LispMIT52400

python-differential

An implementation of differential dataflow in python

Language:Python1600

svls

SystemVerilog language server

Language:RustMIT43600

dape

Debug Adapter Protocol for Emacs

Language:Emacs LispGPL-3.043900

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

Language:Emacs LispGPL-3.0108300

vertico

:dizzy: vertico.el - VERTical Interactive COmpletion

Language:Emacs LispGPL-3.0141800

elpaca

An elisp package manager

Language:Emacs LispGPL-3.058400

gpt-2

Code for the paper "Language Models are Unsupervised Multitask Learners"

Language:PythonNOASSERTION2207100

solana-py

Solana Python SDK

Language:PythonMIT95800

swc

Rust-based platform for the Web

Language:RustApache-2.03074000

embassy

Modern embedded framework, using Rust and async.

Language:RustApache-2.0494300

simple-nft-wash-trade-detection

A simple algo for detecting NFT wash trades on Solana.

Language:Jupyter NotebookMIT500

ffi-overhead

comparing the c ffi (foreign function interface) overhead on various programming languages

Language:CApache-2.065400

solana-spl-token-sniper

Solana SPL-Token sniper for new Raydium liquidity pools

Language:JavaScript14500

arlocal

Local testnet for your Arweave products.

Language:TypeScriptMIT9700

dhall-kubernetes

Typecheck, template and modularize your Kubernetes definitions with Dhall

Language:DhallApache-2.061300

firedancer

Firedancer is Jump Crypto's Solana consensus node implementation.

Language:CNOASSERTION81000

outlines

Structured Text Generation

Language:PythonApache-2.0746600

hftbacktest

A high-frequency trading and market-making backtesting tool in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and order books, with real-world crypto market-making examples for Binance Futures

Language:RustMIT162700

Caster

Open-source electrophoretics display controller. Mirror of https://gitlab.com/zephray/caster

Language:VerilogCERN-OHL-P-2.014900

PaddleOCR

Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and deployment among server, mobile, embedded and IoT devices)

Language:PythonApache-2.04147100

paradis

Parallel processing with disjoint indices in Rust

Language:RustApache-2.08100

ht

headless terminal - wrap any binary with a terminal interface for easy programmatic access.

Language:CSSApache-2.075800

range-set-blaze

Integer sets as fast, sorted, integer ranges with full set operations

Language:RustApache-2.06800

datafusion-ballista

Apache DataFusion Ballista Distributed Query Engine

Language:RustApache-2.0142100

ascent

logic programming in Rust

Language:RustMIT37900

lambda-eval

Simple Lambda Calculus evaluator with hvm-lang syntax

Language:RustMIT400

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Language:CoqAGPL-3.036900

deploy-rs

A simple multi-profile Nix-flake deploy tool.

Language:RustNOASSERTION125100