MCW Line-of-business application migration

This repo contains the Insuarance Claim microservices.

An open source payments switch written in Rust to make payments fast, reliable and affordable

Relax and meditate

View and edit graphs

A simple UNIX-like shell

xv6 kernel hacking projects

A simple tool for verifying whether a certain proof of a given sequent is valid or not

GNU Aris (fork)

🤏 A collection of tiny JS libraries (under 2 kB) to put your bundle on a diet

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

End-to-end HTTP and REST API testing for Go.

Radar Contact is a 2D Air Traffic Controller game where you have to control an airspace and guide airplanes and helicopters to arrive safely to their destination avoiding storms and collisions. The…

Portable and lightweight cross-platform desktop application development framework