Name: Radosław Waśko
Type: User
Company: @enso-org
Bio: Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
Location: Poland
Blog: http://radeusgd.com/
2djsdualcontour
2D Dual Contouring in JS
archivum
Database frontend for storing and processing structured data within a single table.
atomizer
Simple simulator of protons, neutrons and electrons
cardgame
devportfolio
A lightweight, customizable single-page personal portfolio website template built with JavaScript and Sass
dotty
Research platform for new language concepts and compiler technologies for Scala.
filetracker
gadt-thesis
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
git-machete
Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen ;)
graal
GraalVM: Run Programs Faster Anywhere :rocket:
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
i3hloc
jsonrewriter
Scala utility for converting data in JSON between expected formats
kuonline
An minimalistic online version of a card game Ku
mempatcher
miniusos
Java OOP class task
mmotest
HTML5/JS + Node.JS simple multiplayer game server and client with elements of rpg, procedural etc. experimentation
mojave-radio
Radio broadcaster and receiver in C++ for a university project
nabojtrainingranking
A ranking table, timer and ranking updater system for a local training for https://math.naboj.org/
netpipes
Simple tool for redirecting network traffic
oioioi
paralang
A very simple imperative language for testing interesting constructions
pdot-gadt
Formal foundations for GADTs in Scala
pylisp
Simple LISP interpreter
quartz
Quartz Language
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.
raytracing-test-distancefield
Distance field ray tracer experiment
rcpu
RCPU
rcpu-compiler
RCPU Compiler
s2n
s2n : an implementation of the TLS/SSL protocols
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
