spinda Goto Github PK
Name: Michael Smith
Type: User
Company: @PLSysSec
Bio: computer scientist & firewall dragon | contact: [email protected]
Location: UC San Diego
Blog: https://spinda.net
Name: Michael Smith
Type: User
Company: @PLSysSec
Bio: computer scientist & firewall dragon | contact: [email protected]
Location: UC San Diego
Blog: https://spinda.net
Public course materials for CSE 230 (Winter 2019)
An FFI crate to expose functionality from brave/adblock-rust
π§ LWN.net plugin for Tiny Tiny RSS
The Wadler/Leijen Pretty Printer for colored ANSI terminal output
β οΈ A version of std::io::Error implemented on top of Arc instead of Box, making it cloneable
Read and write files atomically and reliably.
Next generation Brave browser for macOS, Windows, Linux, and eventually Android
Core engine for the Brave browser for macOS, Windows, Linux, and eventually Android. For the issue log, please see https://github.com/brave/brave-browser
A binary data reader and writer that is similar to Python's struct module, but makes use of Rust's typing system.
A GitHub Action for running cargo-semver-checks
Core implementation of the Cedar language
Definitional implementation of Cedar language and utilities for DRT
Scriptable Google Chromeβ’ as a HTTP service + asyncio driver
solver for the reachability modulo theories problem
π₯ Nested Executors for Rust Futures (retired)
π΅οΈ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
π Backend for rendering diagrams in wxWidgets with Haskell
π Coding-ligature-free fork of the Fantasque Sans Mono programming font
Facebook Chat (Messenger) for Python
Zero-cost futures and streams in Rust
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])
βοΈ Handwriting synthesis in Haskell (unfinished)
βοΈ Command-line interface for the Glyph handwriting synthesis engine
𧬠GUI editor for the Glyph handwriting synthesis engine (unfinished)
IPFS implementation in go
GRAPHML parser & writer for graphology.
Haskell to C++ metaprogramming transpiler
A push parser for the HTTP 1.x protocol in Rust.
An HTTP library for Rust
π Upgrade hyper HTTP requests to WebSocket connections, server-side
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.