Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by radeusgd
A curated list of projects in awesome lists by radeusgd .
https://github.com/radeusgd/mmotest
HTML5/JS + Node.JS simple multiplayer game server and client with elements of rpg, procedural etc. experimentation
Last synced: 13 Oct 2024
https://github.com/radeusgd/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.
coq dotty formalization lambda-calculus scala
Last synced: 13 Oct 2024
https://github.com/radeusgd/tappyninja
A simple game similar to Fruit Ninja in libGDX, most of it done in 1 day.
Last synced: 13 Oct 2024
https://github.com/radeusgd/archivum
Database frontend for storing and processing structured data within a single table.
Last synced: 13 Oct 2024
https://github.com/radeusgd/pdot-gadt
Formal foundations for GADTs in Scala
coq formal-methods formalization gadt gadts lambda-calculus scala
Last synced: 13 Oct 2024
https://github.com/radeusgd/webhistorygraph
A Chrome extension to track your research history in a graph.
Last synced: 13 Oct 2024
https://github.com/radeusgd/siodockers
Putting https://github.com/sio2project/sioworkers in the cloud
Last synced: 13 Oct 2024
https://github.com/radeusgd/scalaalgorithms
Various algorithms and data structures implemented in Scala in order to learn the language and practice algorithms. Not too useful in production probably, just educational stuff.
Last synced: 13 Oct 2024
https://github.com/radeusgd/netpipes
Simple tool for redirecting network traffic
Last synced: 13 Oct 2024
https://github.com/radeusgd/kuonline
An minimalistic online version of a card game Ku
Last synced: 13 Oct 2024
https://github.com/radeusgd/mojave-radio
Radio broadcaster and receiver in C++ for a university project
Last synced: 13 Oct 2024
https://github.com/radeusgd/nabojtrainingranking
A ranking table, timer and ranking updater system for a local training for https://math.naboj.org/
Last synced: 13 Oct 2024
https://github.com/radeusgd/jsonrewriter
Scala utility for converting data in JSON between expected formats
Last synced: 13 Oct 2024
https://github.com/radeusgd/atomizer
Simple simulator of protons, neutrons and electrons
Last synced: 13 Oct 2024
https://github.com/radeusgd/gadt-thesis
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
Last synced: 13 Oct 2024
https://github.com/radeusgd/hifi
Open source client/server software for creating shared VR environments. Docs at http://wiki.highfidelity.com We are hiring: http://highfidelity.com/jobs Also, PT work available at http://worklist.net
Last synced: 13 Oct 2024
https://github.com/radeusgd/webfin
A simple web app for managing personal and community finances
Last synced: 13 Oct 2024
https://github.com/radeusgd/tlitter
A very simple Tweeter clone made for educational purposes
Last synced: 13 Oct 2024
https://github.com/radeusgd/weatherwidget
A weather widget for university assignment in JavaFX and RxJava
Last synced: 13 Oct 2024
https://github.com/radeusgd/tftp-client-coq
A verified implementation of TFTP in Coq and OCaml
Last synced: 13 Oct 2024
https://github.com/radeusgd/raytracing-test-distancefield
Distance field ray tracer experiment
Last synced: 13 Oct 2024
https://github.com/radeusgd/paralang
A very simple imperative language for testing interesting constructions
Last synced: 13 Oct 2024
https://github.com/radeusgd/sparse-multivariate-polynomials
An university assignment, mostly focused on manual memory management in C.
Last synced: 13 Oct 2024