PGDataHome

Pinned Repositories

actor-framework
An Open Source Implementation of the Actor Model in C++
Language:C++00
axle
Message-passing kernel + userspace
Language:C00
b2
B2 makes it easy to build C++ projects, everywhere.
Language:C++00
BareMetal
A very minimal, resource efficient exo-kernel
Language:Assembly00
BareMetal-OS
Build script for BareMetal OS and its related utilities
Language:Shell00
clear-linux-documentation
This repository contains the documentation source files for Clear Linux OS.
Language:JavaScript00
clojure
The Clojure programming language
Language:Java00
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Language:C10
racket
The Racket repository
Language:Racket10
tinycc
Unofficial mirror of mob development branch
Language:C10

PGDataHome's Repositories

PGDataHome/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Language:C10
PGDataHome/racket
The Racket repository
Language:Racket10
PGDataHome/tinycc
Unofficial mirror of mob development branch
Language:C10
PGDataHome/actor-framework
An Open Source Implementation of the Actor Model in C++
Language:C++00
PGDataHome/axle
Message-passing kernel + userspace
Language:C00
PGDataHome/b2
B2 makes it easy to build C++ projects, everywhere.
Language:C++00
PGDataHome/BareMetal
A very minimal, resource efficient exo-kernel
Language:Assembly00
PGDataHome/BareMetal-OS
Build script for BareMetal OS and its related utilities
Language:Shell00
PGDataHome/clojure
The Clojure programming language
Language:Java00
PGDataHome/boost
Super-project for modularized Boost
PGDataHome/cllr_autospec
RPM packaging automation tool
PGDataHome/clr-installer
Clear Linux* OS Installer
PGDataHome/clr_dockerfiles
Clear Linux-based Docker containers
PGDataHome/clr_mixer-tools
Software update mixer and related tools
PGDataHome/clt_common-tools
Developer tooling framework
PGDataHome/Cuis-Smalltalk-Dev
Active development of Cuis Smalltalk
PGDataHome/cyclone
:cyclone: A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.
PGDataHome/docker-traefik
Docker media and home server stack with Docker Compose, Traefik, Swarm Mode, Google OAuth2/Authelia, and LetsEncrypt
PGDataHome/docker_official-images
Docker Official Images
PGDataHome/HumbleUI
Clojure Desktop UI framework
PGDataHome/inferno-os
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and services.Applications are written in a concurrent programming language, Limbo.
PGDataHome/kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
PGDataHome/libunwind
libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)
PGDataHome/lingua-franca
Intuitive concurrent programming in any language
PGDataHome/metashell
C++ metaprogramming shell
PGDataHome/MoarVM
A VM with adaptive optimization and JIT compilation, built for Rakudo
PGDataHome/MUSE_OS
Welcome to the MUSE-OS repository
PGDataHome/psweb
Sample web-app for use with Pluralsight courses and Docker Deep Dive book
PGDataHome/Pure64
Pure64 is a software loader that was initially created for BareMetal OS. The loader sets the computer into a full 64-bit state with no legacy compatibility layers and also enables all available CPU Cores in the computer.
PGDataHome/uefirc
An IRC client in your motherboard