Giters
XQ22

XQ22

Geek Repo

0

followers

1

following

4

stars

Github PK Tool:Github PK Tool

XQ22's starred repositories

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustLicense:MPL-2.0Stargazers:1089Issues:0Issues:0

awesome-explorables

A curated list of awesome explorable explanations.

License:CC0-1.0Stargazers:747Issues:0Issues:0

FAI-Language

The repo for the FAI programming language

Language:C#License:GPL-3.0Stargazers:9Issues:0Issues:0

rittybox-dev-backend

A PHP-based development system for Rittybox

Language:HTMLStargazers:1Issues:0Issues:0