hkakutalua

rails

Ruby on Rails

go-ethereum

Go implementation of the Ethereum protocol

kubernetes-the-hard-way

Bootstrap Kubernetes the hard way. No scripts.

serenity

The Serenity Operating System 🐞

ruby

The Ruby Programming Language

phoenix

Peace of mind from prototype to production

analytics

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

compose-multiplatform

Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

ciencia-da-computacao

🎓 Um caminho para a educação autodidata em Ciência da Computação!

dotty

The Scala 3 compiler, also known as Dotty.

kcat

Generic command line non-JVM Apache Kafka producer and consumer

lean4

Lean 4 programming language and theorem prover

scalacheck

Property-based testing for Scala

dadsresume

My dad's resume and skills from 1980

tech-companies-in-portugal

:portugal: List of technology companies in Portugal.

yjit

Optimizing JIT compiler built inside CRuby

Kindelia

An efficient, secure cryptocomputer

awesome-distributed-system-projects

🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples

visualsyslog

Syslog Server for Windows with a graphical user interface

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

kind

Temporary repository for Kind2's refactor based on HVM2

eprover

hackenstein3D

Raycasting game for the Hack computer from Elements of Computing Systems / Coursera NAND2Tetris

lean-verbose

Very controlled natural language tactics for Lean

datafiller

DataFiller - generate random data from database schema

como-sair-de-angola

Um guia para um processo de emigração simplificado.

source

Start a solid foundation of tools for creators+builders.

open-mscs

Based on OMSCS. 🎓 Collaborative open source notes for graduate computer science courses.

macos-monterey

Clone of macOS Monterey that runs in your browser. (website disabled)

django-vpos

Integrate your Django Application with vPOS Payment Gateway