Giters
Jacob Abel (OneDeuxTriSeiGo)

OneDeuxTriSeiGo

Geek Repo

7

followers

9

following

138

stars

Twitter:@OneDeuxTriSeiGo

Github PK Tool:Github PK Tool

Organizations
Project-Catalyst

Jacob Abel's starred repositories

rlite

A light RINA implementation. Documentation is available in REAME.md (see below).

Language:CLicense:LGPL-2.1Stargazers:47Issues:0Issues:0

nori

Language:CLicense:Apache-2.0Stargazers:2Issues:0Issues:0

RINA

RINA Simulator

Language:C++License:NOASSERTIONStargazers:29Issues:0Issues:0

stack

RINA implementation for OS/Linux

Language:C++Stargazers:70Issues:0Issues:0

EasyUC

Experiments with Universal Composability in EasyCrypt

Language:OCamlStargazers:28Issues:0Issues:0

plutus-core-semantics

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:0Issues:0

identus-cloud-agent

Identus Cloud Agent

Language:ScalaLicense:Apache-2.0Stargazers:76Issues:0Issues:0

dune3d

3D CAD application

Language:CLicense:GPL-3.0Stargazers:899Issues:0Issues:0

horizon

Horizon is a free EDA package

Language:CLicense:GPL-3.0Stargazers:1091Issues:0Issues:0

mollysocket

MollySocket allows getting Signal notifications via UnifiedPush.

Language:RustLicense:AGPL-3.0Stargazers:82Issues:0Issues:0

gittuf

A security layer for Git repositories

Language:GoLicense:Apache-2.0Stargazers:445Issues:0Issues:0

b4

Tool to help with email-based patch workflows

Language:PythonLicense:GPL-2.0Stargazers:59Issues:0Issues:0

patatt

Patch attestation utility

Language:PythonLicense:MIT-0Stargazers:26Issues:0Issues:0

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Language:RustLicense:NOASSERTIONStargazers:1246Issues:0Issues:0

catalyst-core

⚙️ Core Catalyst Governance Engine and utilities.

Language:RustLicense:Apache-2.0Stargazers:37Issues:0Issues:0

brlcad

BRL-CAD is a powerful cross-platform open source combinatorial solid modeling system

Language:AGS ScriptLicense:NOASSERTIONStargazers:675Issues:0Issues:0

protodump

A utility to dump all Protobuf file descriptors from a given binary as *.proto files

Language:GoStargazers:261Issues:0Issues:0

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Language:RustLicense:MITStargazers:1236Issues:0Issues:0

fasten-onprem

Fasten is an open-source, self-hosted, personal/family electronic medical record aggregator, designed to integrate with 100,000's of insurances/hospitals/clinics

Language:GoLicense:GPL-3.0Stargazers:1486Issues:0Issues:0

mollysocket

MollySocket allows getting signal notifications via UnifiedPush. [Moved to https://github.com/mollyim/mollysocket]

Language:RustLicense:AGPL-3.0Stargazers:12Issues:0Issues:0

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustLicense:MPL-2.0Stargazers:2919Issues:0Issues:0

uplc-arithmetization

Witness Generation Tool prototype for zkWrapper

Language:HaskellLicense:MITStargazers:6Issues:0Issues:0

OpenPineBuds

Community maintained firmware for PineBuds Pro

Language:CStargazers:145Issues:0Issues:0

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:1107Issues:0Issues:0

UnicodePlots.jl

Unicode-based scientific plotting for working in the terminal

Language:JuliaLicense:NOASSERTIONStargazers:1415Issues:0Issues:0

cargo-dist

📦 shippable application packaging

Language:RustLicense:Apache-2.0Stargazers:1412Issues:0Issues:0

git-sim

Visually simulate Git operations in your own repos with a single terminal command.

Language:PythonLicense:GPL-2.0Stargazers:4148Issues:0Issues:0

terraform-nixos-ng

Terraform modules for NixOS and spiritual successor to the terraform-nixos project

Language:HCLLicense:BSD-3-ClauseStargazers:123Issues:0Issues:0

quartz64_uefi

EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.

Language:CStargazers:151Issues:0Issues:0

mangle

Language:GoLicense:Apache-2.0Stargazers:1061Issues:0Issues:0