stroxler Goto Github PK
Name: Steven Troxler
Type: User
Company: Meta Platforms
Location: San Francisco
Name: Steven Troxler
Type: User
Company: Meta Platforms
Location: San Francisco
Security advisory database for Rust crates published through crates.io
Proposed documentation for alloytools.org
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
Configuring machines with nix (experimental; I currently use dotconfar)
Install scripts for various tools on various platforms.
Updated install scripts for OSX data science stack
Collection of awesome Python types, stubs, plugins, and tools to work with them.
Tool for batch-converting notebooks in a git repository
A library that allows for inference on probabilistic models
My code as I work through Beginning Linux Programming 4th ed by Matthew and Stones, Wrox
Demo project for using mybinder.org to run python notebooks
For-now repository for blog source files
Bolt is a language with in-built data-race freedom!
V2 of Real World OCaml
Fast NumPy array functions written in Cython
Examples of a webapp handler with various potential callable syntaxes
Useful decorators, particularly ones that use callinspect to access call arguments.
A repository to dump guild scripts for centos 6.5
Yet another JSON library for Scala
opinionated toolchain to make working with the awesome click library easier
Playing around with haskell for tooling; wrote a simplistic clone of `ghar`
Sync config files between desktop and laptop
The Python programming language
collection of codebases that demo how to set up and run apps in various stacks with specific behaviors
Docker config for various projects I work on
My personal bash config files (slowly migrating from stroxler/config, which is bloated)
Monorepo for my confar (config-as-repositor{y,ies}) setup
Home config files, my old `config` repo has become pretty bloated
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Collecting up some notes to get started (again) with emacs
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.