OlegJakushkin's Stars
Stability-AI/stablediffusion
High-Resolution Image Synthesis with Latent Diffusion Models
rerun-io/rerun
Visualize streams of multimodal data. Free, fast, easy to use, and simple to integrate. Built in Rust.
netless-io/flat
Project flat is the Web, Windows and macOS client of Agora Flat open source classroom.
ethereum-optimism/optimism
Optimism is Ethereum, scaled.
allenai/OLMo
Modeling, training, eval, and inference code for OLMo
nv-tlabs/GET3D
aras-p/UnityGaussianSplatting
Toy Gaussian Splatting visualization in Unity
marcomusy/vedo
A python module for scientific analysis of 3D data based on VTK and Numpy
sahil280114/codealpaca
kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
zhyever/PatchFusion
[CVPR 2024] An End-to-End Tile-Based Framework for High-Resolution Monocular Metric Depth Estimation
mirkosertic/Bytecoder
Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.
holoviz/colorcet
A set of useful perceptually uniform colormaps for plotting scientific data
johnsmith0031/alpaca_lora_4bit
kurtosis-tech/kurtosis
A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.
praeclarum/Iril
Compiles LLVM IR (bytecode) or C to .NET Assemblies
HerodotusDev/integrity
Cairo STARK proof verifier for Starknet
thethoughtemporium/Intro-To-Genetic-Engineering
softwareunderground/subsurface
Core data exchange library for subsurface science and engineering
equinor/webviz-subsurface
Webviz-config plugins for subsurface data.
softwareunderground/gio
Read and write subsurface data files describing surfaces, grids and horizons.
gritzko/ron-cxx
RON2.1 C++ implementation
argentlabs/min-starknet
HerodotusDev/hdp
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
HerodotusDev/hdp-cairo
HerodotusDev/herodotus-on-starknet
jmederosalvarado/.dots
StealthyEyes/ShadowGuard
open-source examples tool-belt for creating and managing secure, privacy-focused L3-ish oracles on StarkNet using Cairo
HansKallekleiv/webviz-subsurface
Webviz pages for subsurface data