Daniel Darabos's repositories
ai-alchemy
An element merging game powered by AI
blazingsql
BlazingSQL is a lightweight, GPU accelerated, SQL engine for Python. Built on RAPIDS cuDF.
cugraph
cuGraph - RAPIDS Graph Analytics Library
daniel-darabos-space
My home page. Maybe I already had one but misplaced it.
darabos.github.io
I will make a web page
earthly
The effortless CI/CD framework that runs anywhere
google-ads-api
Google Ads API Client Library for JavaScript
graphology
A robust & multipurpose Graph object for JavaScript & TypeScript.
helyesiras
Hungarian spelling game
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lynxkite-interview-pico8
A short puzzle game for the PICO-8 fantasy console
mathlib4
The math library of Lean 4
natural_number_game
Forked to use with Lean Dojo.
neo4j-spark-connector
These are the beginnings / experiments of a Connector from Neo4j to Apache Spark using the new binary protocol for Neo4j, Bolt.
networkit
NetworKit is a growing open-source toolkit for large-scale network analysis.
pico-8-projects
My PICO-8 games in various stages of development
react-simple-chatbot
Fork with updated depedencies
sbt
sbt, the interactive build tool
sbt-native-packager
sbt Native Packager
shaders-on-pixels
A basic pixel editor with shaders.
squircle-houdini-css
A tiny CSS Houdini module that allows to add a squircle shape to HTML elements
timewarp
A mirror of https://sourceforge.net/projects/timewarp/
timewarp-museum
A list of fan ships from Timewarp
typeshed
Collection of library stubs for Python, with static types
unclutter
A modern reader mode and article library for your browser.
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.