Giters
Michael Hardeman (michael-hardeman)

michael-hardeman

Geek Repo

12

followers

18

following

40

stars

Github PK Tool:Github PK Tool

Michael Hardeman's starred repositories

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

Language:C++License:MITStargazers:95195Issues:1314Issues:12740

Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Language:AssemblyLicense:NOASSERTIONStargazers:57594Issues:1311Issues:381

Real-Time-Voice-Cloning

Clone a voice in 5 seconds to generate arbitrary speech in real-time

Language:PythonLicense:NOASSERTIONStargazers:52330Issues:939Issues:1080

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMLicense:NOASSERTIONStargazers:28368Issues:582Issues:76665

Proton

Compatibility tool for Steam Play based on Wine and additional components

Language:C++License:NOASSERTIONStargazers:24159Issues:367Issues:7677

libsodium

A modern, portable, easy to use crypto library.

Language:CLicense:NOASSERTIONStargazers:12218Issues:387Issues:823

bootOS

bootOS is a monolithic operating system in 512 bytes of x86 machine code.

Language:AssemblyLicense:BSD-2-ClauseStargazers:1789Issues:36Issues:12

obi-sync

Reverse engineering of the native Obsidian sync and publish server

Language:GoLicense:GPL-2.0Stargazers:1012Issues:21Issues:20

open-smartwatch-os

The Open-Smartwatch Operating System.

Language:CLicense:GPL-3.0Stargazers:985Issues:32Issues:146

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Language:AdaLicense:GPL-3.0Stargazers:230Issues:36Issues:203

CS-GO-Observer-Custom-HUD

Language:JavaScriptStargazers:223Issues:33Issues:58

SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library

Language:AdaLicense:BSD-3-ClauseStargazers:113Issues:15Issues:13

gcc

Official Ada++ repository

License:GPL-2.0Stargazers:99Issues:4Issues:0

CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Language:AdaLicense:GPL-3.0Stargazers:77Issues:14Issues:5

ngconf2019-slides

A central place to keep track of the speakers' slides from ng-conf 2019.

Stargazers:72Issues:3Issues:0

orka

The OpenGL 4.6 Rendering Kernel in Ada 2022

Language:AdaLicense:Apache-2.0Stargazers:61Issues:7Issues:85

free-ada

Build scripts for FSF GCC and AdaCore tools

Language:ShellStargazers:48Issues:11Issues:8

ada-runtime

Language:AdaLicense:AGPL-3.0Stargazers:33Issues:9Issues:56

ASFML

Ada binding to the SFML library

Language:AdaLicense:NOASSERTIONStargazers:33Issues:1Issues:14

creative-bot

A chat bot to talk in chat, slightly more user friendly than previously

Language:TypeScriptLicense:MITStargazers:31Issues:11Issues:51

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

Language:PythonLicense:AGPL-3.0Stargazers:15Issues:5Issues:0

gnat-llvm-xtensa

LLVM based GNAT compiler for Xtensa

Language:AdaStargazers:9Issues:4Issues:0

ada-probe

Just a small fun project to experiment with Ada

Language:AdaLicense:MITStargazers:6Issues:0Issues:0

ImGui-Ada

An Ada binding for the Dear ImGui library.

Language:C++Stargazers:5Issues:2Issues:1

YOTROC

Assembler/Emulator for Fictional YOTROC Architecture

Language:AdaLicense:UnlicenseStargazers:4Issues:2Issues:0

Libsodium_binding

Language:CStargazers:4Issues:0Issues:0

Comps

General purpose components and utilities

Language:AdaStargazers:2Issues:2Issues:0

adapp-website

Website for Ada++

Language:HTMLStargazers:2Issues:0Issues:0

.net-web-api

.net web api

Language:C#Stargazers:2Issues:2Issues:0

MouseJiggler

MouseJiggler using arduino pro-micro

Language:MakefileStargazers:1Issues:0Issues:0