GNU social is a social communication software used in federated social networks. It is widely supported and has a large userbase. It is already used by the Free Software Foundation.

Aggiornato 2 anni fa

A dump for all the issues and such associated with GNU social, in one place

Aggiornato 4 anni fa

Constraint Logic Programming Sudoku solver

Aggiornato 4 anni fa

Aggiornato 4 anni fa

Aggiornato 4 anni fa

Aggiornato 4 anni fa

Russel! A compiler for a subset of Rust written in Haskell

Aggiornato 4 anni fa

Aggiornato 4 anni fa

Aggiornato 4 anni fa

Aggiornato 4 anni fa