Dante-Broggi/rfcs
RFCs for changes to Rust
Rust, Swift, Protocol, and Substructural Logic Enthusiast & MS Graduate of University of Massachusetts Dartmouth in Computer Science
Repositories
Dante-Broggi/rust
Empowering everyone to build reliable and efficient software.
Dante-Broggi/ponyc
:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Dante-Broggi/nix
Rust friendly bindings to *nix APIs
Dante-Broggi/miri
An interpreter for Rust's mid-level intermediate representation
Dante-Broggi/dlang.org
Pages for the dlang.org website, home of the D Programming Language
Dante-Broggi/swift-corelibs-foundation
The Foundation Project, providing core utilities, internationalization, and OS independence
Dante-Broggi/swift
The Swift Programming Language
Dante-Broggi/swift-evolution
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
Dante-Broggi/png-text
a command line program which describes a PNG file, for my CIS 542 class
Dante-Broggi/alloc-adaptor
A collection of allocation adaptors, as a hobby project
Dante-Broggi/wasmtime
A fast and secure runtime for WebAssembly
Dante-Broggi/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Dante-Broggi/set.mm
Metamath source file for logic and set theory
Dante-Broggi/swift-bindgen
Bridging the gap between Swift and Rust
Dante-Broggi/Factorino
Dante-Broggi/Pathos
File management and path analysis for Swift
Dante-Broggi/Random-Math-Protocols
a large assortment of individually minimalistic math protocols