Discover @radeusgd Open Source projects

Radosław Waśko (@radeusgd)

radeusgd

Stars
30
Global Rank 491,990 (Top 17 %)
Followers 47
Following 52
Registered almost 13 years ago
Most used languages

JavaScript
25.0 %

Java
16.7 %

Scala
16.7 %

TeX
8.3 %

C++
8.3 %

Shell
8.3 %

Haskell
8.3 %

Python
8.3 %
Location 🇵🇱 Poland
Country Total Rank 4,386
Country Ranking

Haskell
93

TeX
96

Scala
217

C++
1,251

JavaScript
1,271

Shell
1,393

Java
1,459

Python
2,731

mmotest

HTML5/JS + Node.JS simple multiplayer game server and client with elements of rpg, procedural etc. experimentation

2dJSdualcontour

2D Dual Contouring in JS

TrachOnline

Web implementation of Trach Game

PyLisp

Simple LISP interpreter

tappyninja

A simple game similar to Fruit Ninja in libGDX, most of it done in 1 day.

QuotedPatternMatchingProof

A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.

quartz

Quartz Language

pDOT-GADT

Formal foundations for GADTs in Scala

siodockers

Putting https://github.com/sio2project/sioworkers in the cloud

WebHistoryGraph

A Chrome extension to track your research history in a graph.

Snake3d

3d snake game in libGDX

Archivum

Database frontend for storing and processing structured data within a single table.