radeusgd

Radosław Waśko's repositories

PyLisp

Simple LISP interpreter

Language:Python3 20

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.

Language:TeX3 3 17

quartz

Quartz Language

Language:HaskellBSD-3-Clause2 20

Archivum

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

Language:Scala1 20

pDOT-GADT

Formal foundations for GADTs in Scala

Language:Scala1 20

siodockers

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

Language:Shell1 20

CardGame

Language:Kotlin030

devportfolio

A lightweight, customizable single-page personal portfolio website template built with JavaScript and Sass

Language:CSSMIT020

dotty

Research platform for new language concepts and compiler technologies for Scala.

Language:ScalaApache-2.0010

filetracker

Language:PythonGPL-3.0020

GADT-thesis

The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala

Language:Coq04 7

git-machete

Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen ;)

Language:PythonMIT010

graal

GraalVM: Run Programs Faster Anywhere :rocket:

Language:JavaNOASSERTION000

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

Language:C++NOASSERTION010

i3hloc

Language:HaskellBSD-3-Clause020

JSONRewriter

Scala utility for converting data in JSON between expected formats

Language:Scala020

mempatcher

Language:C++020

MiniUSOS

Java OOP class task

Language:Java020

mojave-radio

Radio broadcaster and receiver in C++ for a university project

Language:C++020

netpipes

Simple tool for redirecting network traffic

Language:Go020

oioioi

Language:PythonGPL-3.0020

ParaLang

A very simple imperative language for testing interesting constructions

Language:Haskell020

s2n

s2n : an implementation of the TLS/SSL protocols

Language:CApache-2.0020

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.

Language:Scala020