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