Giter Site home page Giter Site logo

Steven Troxler's Projects

advisory-db icon advisory-db

Security advisory database for Rust crates published through crates.io

alloytools-models icon alloytools-models

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

ape-nix icon ape-nix

Configuring machines with nix (experimental; I currently use dotconfar)

ape2 icon ape2

Install scripts for various tools on various platforms.

ape_osx icon ape_osx

Updated install scripts for OSX data science stack

beanmachine icon beanmachine

A library that allows for inference on probabilistic models

binder_demo icon binder_demo

Demo project for using mybinder.org to run python notebooks

blog0 icon blog0

For-now repository for blog source files

bolt icon bolt

Bolt is a language with in-built data-race freedom!

calldecorators icon calldecorators

Useful decorators, particularly ones that use callinspect to access call arguments.

circe icon circe

Yet another JSON library for Scala

clickutil icon clickutil

opinionated toolchain to make working with the awesome click library easier

confar-v0 icon confar-v0

Playing around with haskell for tooling; wrote a simplistic clone of `ghar`

config icon config

Sync config files between desktop and laptop

demo-apps icon demo-apps

collection of codebases that demo how to set up and run apps in various stacks with specific behaviors

dotbash icon dotbash

My personal bash config files (slowly migrating from stroxler/config, which is bloated)

dotconfar icon dotconfar

Monorepo for my confar (config-as-repositor{y,ies}) setup

dotemacs icon dotemacs

Home config files, my old `config` repo has become pretty bloated

duckling icon duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

emacs-notes icon emacs-notes

Collecting up some notes to get started (again) with emacs

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.