Pinned Repositories
ai-alchemy
An element merging game powered by AI
alasala
Game for PyWeek 30
arc-prize-2024
hackathon-2024
high-five-trading
Action stock exchange game for Repl.it Game Jam 2019
megingat
Hungarian language real estate website (of my mom)
pinty
Toy prototype for a distributed computing system in C++
pyweek-lightswitch
A PyWeek 19 entry. The theme was "One Room".
pyweek-nemesis
Team entry for PyWeek #16
lynxkite
The complete graph data science platform
darabos's Repositories
darabos/ai-alchemy
An element merging game powered by AI
darabos/arc-prize-2024
darabos/hackathon-2024
darabos/megingat
Hungarian language real estate website (of my mom)
darabos/blazingsql
BlazingSQL is a lightweight, GPU accelerated, SQL engine for Python. Built on RAPIDS cuDF.
darabos/DAGformer
[NeurIPS 2023] Implementation of "Transformers over Directed Acyclic Graphs"
darabos/daniel-darabos-space
My home page. Maybe I already had one but misplaced it.
darabos/draw45
A drawing program for people who like 45° lines
darabos/drill
Drill is an HTTP load testing application written in Rust
darabos/earthly
The effortless CI/CD framework that runs anywhere
darabos/earthly-eras
Microcosm simulation with shaders
darabos/graphology
A robust & multipurpose Graph object for JavaScript & TypeScript.
darabos/helyesiras
Hungarian spelling game
darabos/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
darabos/led-fun
Having fun with a WS2812B strip
darabos/mathlib4
The math library of Lean 4
darabos/mennyi
A game of arithmetic for my kids
darabos/natural_number_game
Forked to use with Lean Dojo.
darabos/pico-8-projects
My PICO-8 games in various stages of development
darabos/pycrdt-websocket
WebSocket Connector for pycrdt
darabos/pytorch_geometric
Graph Neural Network Library for PyTorch
darabos/react-simple-chatbot
Fork with updated depedencies
darabos/shaders-on-pixels
A basic pixel editor with shaders.
darabos/squircle-houdini-css
A tiny CSS Houdini module that allows to add a squircle shape to HTML elements
darabos/SyncedStore
SyncedStore CRDT is an easy-to-use library for building live, collaborative applications that sync automatically.
darabos/timewarp
A mirror of https://sourceforge.net/projects/timewarp/
darabos/timewarp-museum
A list of fan ships from Timewarp
darabos/typeshed
Collection of library stubs for Python, with static types
darabos/unclutter
A modern reader mode and article library for your browser.
darabos/xyflow
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely customizable.