🖥️ Computer Science - goodboyjojo · Scour

AdaptiveLoad: Towards Efficient Video Diffusion Transformer Training 🎮Game Engines

Malleable Molecular Dynamics Simulations with GROMACS and DMR 🎮Game Engines

Residue Number System Comparison revisited, a software perspective 🕹️Retrocomputing

High-Performance Star-M SVD for Big Data Compression 🎮Game Engines

pyModRev: a Python Tool for Model Revision of Boolean Networks 🖥️Emulation

Charon: A Unified and Fine-Grained Simulator for Large-Scale LLM Training and Inference 🤖AI

Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report) 🕹️PICO-8

Deep Tech to Space: Space Data Centers and AI Revolution at the Edge 💻Creative Coding

Efficient 3D Content Reconstruction and Generation 🎮Game Engines

Embedded Made Easy -- Rethinking Embedded + Cloud Software Development (WIP) 🎮Game Engines

Towards an Ontology for the Foundations of Software Languages 🎮Game Engines

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements 🎮Game Engines

iHAC: A Hybrid Cluster Architecture for Enhanced Performance and Resilience 🗂️IPFS

Completeness of Synthesis under Realizability Assumptions using Superposition 🐚Shell Scripting

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version) 🤖AI

Generalized Compare-and-Swap and Space-Efficient Universal Constructions for the Infinite-Arrival Model 🗂️IPFS

Automating proof search when equality is a logical connective 🐚Shell Scripting

LeanBET: Formally-verified surface area calculations in Lean 🎮Game Engines

Learning How to Cube 🕹️PICO-8

Automating Bitvector and Finite Field Equivalence Proofs in Lean 🎮Game Engines

Sign up or log in to see more results

Log in to enable infinite scrolling