33-day longest streak
Hi there 👋 I'm currently building perception systems for robotic applications at @perceptual-ai. Previously, I spent my open-source time working on Emmy, a computer algebra system in Clojure that's designed…
Hi there 👋
I'm currently building perception systems for robotic applications at @perceptual-ai.
Previously, I spent my open-source time working on Emmy, a computer algebra system in Clojure that's designed for explorations in symbolic math, classical mechanics and differential geometry.
-
emmy ★ PINNED ⑂
The Emmy Computer Algebra System.
★ 0 3y agoExplain → -
algebird ★ PINNED ⑂
Abstract Algebra for Scala
HTML ★ 0 9y agoExplain → -
core.logic-koans
Learn core.logic with koans!
Clojure ★ 57 14y agoExplain → -
contour
Google Maps with Clojurescript.
JavaScript ★ 38 13y agoExplain → -
carbonite ⑂
Clojure library for serializing Clojure data using Kryo
Clojure ★ 30 10y agoExplain → -
cascalog-koans
Learn Cascalog with Koans!
Clojure ★ 27 14y agoExplain → -
summingbird-workshop
Summingbird Workshop at Lambda Jam 2013.
Scala ★ 24 7y agoExplain → -
midje-cascalog
Cascalog functions for Midje.
Clojure ★ 20 13y agoExplain → -
blackjack
Functional Blackjack, implemented in Clojure.
Clojure ★ 17 15y agoExplain → -
jackknife
Useful Clojure utilities!
Clojure ★ 16 10y agoExplain → -
core.match-koans
Koans for core.match.
Shell ★ 12 14y agoExplain → -
programming-2022
Talks at the <Programming> 2022 Conference in Porto, Portugal
HTML ★ 11 4y agoExplain → -
optimizer
Boolean query optimizer in Clojure.
Clojure ★ 9 11y agoExplain → -
strange-loop-2023
My talk and demos from Strange Loop 2023.
JavaScript ★ 8 2y agoExplain → -
couch-session
CouchDB Sessions for Ring.
Clojure ★ 8 14y agoExplain → -
thrift-clj
Thrift Parser for Clojure.
Clojure ★ 8 13y agoExplain → -
geocoder
Geocoding on Hadoop.
Clojure ★ 7 15y agoExplain → -
hadoop-util
Helpful HDFS and MapReduce utilities, wrapped in Clojure.
Clojure ★ 6 13y agoExplain → -
elephantdb-deploy
One step deploy for ElephantDB.
Clojure ★ 6 14y agoExplain → -
sbt-gitflow
Helping SBT and "git flow release" play nice.
Scala ★ 6 13y agoExplain → -
S1D13700-LCD
Arduino LCD library for the Crystalfontz CFAG320240CX display!
C++ ★ 5 15y agoExplain → -
kryo
Fork of Google Code Kryo, by Nathan Sweet.
Java ★ 5 14y agoExplain → -
org-gtd
GTD Config for Org-Mode, based very heavily on Charles Cave's work
Emacs Lisp ★ 5 16y agoExplain → -
climate-class
Workshop materials for Cascalog at the Climate Corporation.
Java ★ 5 14y agoExplain → -
cascalog-class
"Getting started" project for Clojure/West's Cascalog Course.
Clojure ★ 5 14y agoExplain → -
worldbank
World Bank App Dev Submission.
Objective-C ★ 3 15y agoExplain → -
spacemacs.d
Spacemacs configuration.
Emacs Lisp ★ 2 3y agoExplain → -
catenary
Strings project with Henry.
Mathematica ★ 2 6y agoExplain → -
clojure-conj-2023
Talk from the Clojure/Conj 2023 conference.
HTML ★ 2 3y agoExplain → -
mathbox ⑂
Presentation-quality WebGL math graphing
JavaScript ★ 2 4y agoExplain → -
github-mathjax ⑂
Chrome extension for rendering LaTeX equations in GitHub with MathJax
★ 2 6y agoExplain → -
cuckoolog
Clojurized version of Scaldingale.
Clojure ★ 2 14y agoExplain → -
cascalog-examples ⑂
Some introductory examples for Cascalog
Clojure ★ 2 14y agoExplain → -
cascalog-testing-demo
Demos of various testing strategies in Cascalog.
Clojure ★ 2 14y agoExplain → -
Autobrew
Automatic brewing, by SR, DH and MH.
★ 2 16y agoExplain → -
rx-scala-class
Principles of Reactive Programming, Fall 2013.
Scala ★ 2 12y agoExplain → -
N720AK
POH for N720AK.
Python ★ 1 2mo agoExplain → -
sritchie.github.io
Sam Ritchie's personal blog.
Python ★ 1 3mo agoExplain → -
eslint-repro
No description.
JavaScript ★ 1 2y agoExplain → -
mojo-gpu-puzzles ⑂
Learn GPU Programming in Mojo🔥 by Solving Puzzles🧩
★ 1 1y agoExplain → -
clj-redis-session
Redis backed Clojure/Ring session store
Clojure ★ 1 14y agoExplain → -
cv
my CV.
TeX ★ 1 3y agoExplain → -
jsxgraph ⑂
JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.
JavaScript ★ 1 3y agoExplain → -
math3d-react ⑂
A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
★ 1 4y agoExplain → -
ISLR
Exercises from Stanford's Introduction to Statistical Learning course.
R ★ 1 10y agoExplain → -
cljsjs-repro
Repro of my issue with cljsjs
Clojure ★ 1 5y agoExplain → -
baidarka
Plans for the Dyson Baidarka.
★ 1 5y agoExplain → -
math-fin-training ⑂
No description.
★ 1 5y agoExplain → -
forma-clj ⑂
FORMA, using Cascalog.
Clojure ★ 1 14y agoExplain → -
Vim ⑂
Port of the Vim text editor to the iOS [The master branch is the original Vim source code. The iOS branch contains the iOS version]
C ★ 1 14y agoExplain → -
cascading ⑂
Cascading is a feature rich API for defining and executing complex and fault tolerant data processing workflows on a Hadoop cluster.
Java ★ 1 14y agoExplain → -
storm-kestrel ⑂
Library to use Kestrel as a spout within Storm
Java ★ 1 14y agoExplain → -
funcytown ⑂
Immutable/persistent functional data-structures which can transparently spill to disk.
Scala ★ 1 14y agoExplain → -
codox ⑂
Clojure documentation tool
Clojure ★ 1 14y agoExplain → -
clj-redis ⑂
Clojure Redis client library
Clojure ★ 1 14y agoExplain → -
core.logic ⑂
No description.
Clojure ★ 1 14y agoExplain → -
autodoc ⑂
The robot to automatically generate documentation for Clojure code. Used to generate the API docs for clojure.org.
Clojure ★ 1 14y agoExplain → -
native-deps ⑂
Native dependencies plugin for Leiningen
Clojure ★ 1 15y agoExplain → -
lein-emr
EMR Integration for Leiningen.
Clojure ★ 1 14y agoExplain → -
sandbar ⑂
A Clojure web application library with higher level abstractions for Compojure and Ring
Clojure ★ 1 15y agoExplain → -
emacs.d
My emacs config. Started with emacs-starter-kit.
Roff ★ 1 6y agoExplain → -
strava-hacks
Chrome Plugin with Strava customizations.
Clojure ★ 1 11y agoExplain → -
bitcoinbook ⑂
Mastering Bitcoin - Unlocking digital currencies - Early Release Draft
★ 1 12y agoExplain → -
emacs24-starter-kit ⑂
A cleaner version of the literate starter kit based on Emacs24
Emacs Lisp ★ 1 10y agoExplain → -
olympus
Big data tutorials in all flavors.
★ 1 14y agoExplain → -
cocos2d-iphone ⑂
cocos2d for iPhone
Objective-C ★ 1 14y agoExplain → -
board ⑂
This is a naive implementation of an online whiteboard in under a hundred lines of Clojure and ClojureScript code.
Clojure ★ 1 14y agoExplain → -
elephant-bird ⑂
Twitter's collection of LZO and Protocol Buffer-related Hadoop, Pig, Hive, and HBase code.
Java ★ 1 13y agoExplain → -
midje-test
shows off a failure with a midje dep.
★ 1 14y agoExplain → -
liberator ⑂
Liberator is a Clojure library for building RESTful applications.
Clojure ★ 1 12y agoExplain → -
reflectasm
Clojurized mirror of http://code.google.com/p/reflectasm/
Java ★ 1 5y agoExplain → -
leiningen ⑂
Automate Clojure projects without setting your hair on fire.
Clojure ★ 1 3y agoExplain → -
kryonet
Clojurized mirror of http://code.google.com/p/kryonet/
Java ★ 1 14y agoExplain → -
gurubot
Paddleguru's bot scripts for Hubot.
CoffeeScript ★ 1 14y agoExplain → -
pallet ⑂
Automates controlling and provisioning cloud server instances.
Clojure ★ 1 12y agoExplain → -
lein-jar-issue-example
Lein jar fails when :java-source-path is nested inside :source-path
Clojure ★ 1 14y agoExplain → -
ryca-cs1
No description.
★ 0 3mo agoExplain → -
programmable-vi-pldi-2024 ⑂
Probabilistic programming with programmable variational inference.
★ 0 1y agoExplain → -
sritchie
No description.
★ 0 9mo agoExplain → -
inferenceql.inference ⑂
No description.
★ 0 2y agoExplain → -
arsenal ⑂
Arsenal of python utilities.
★ 0 1y agoExplain → -
georgematheos.github.io ⑂
No description.
★ 0 1y agoExplain → -
jax ⑂
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
★ 0 2y agoExplain → -
doobie ⑂
principled database access for scala
Scala ★ 0 9y agoExplain → -
mafs ⑂
React components for interactive math
TypeScript ★ 0 2y agoExplain → -
mkquartodocs ⑂
Is a mkdocs plugin to make reproducible documentation with quarto
★ 0 2y agoExplain → -
joy-of-clojure ⑂
This repository tracks my progress as I work through Joy of Clojure
★ 0 11y agoExplain → -
tim-class
Port of https://github.com/language-learning-laboratory/probabilistic-programming-class.
Clojure ★ 0 2y agoExplain → -
bayes3d ⑂
No description.
Jupyter Notebook ★ 0 2y agoExplain → -
kixi.stats ⑂
A library of statistical distribution sampling and transducing functions
Clojure ★ 0 2y agoExplain → -
feigenbaum ⑂
No description.
★ 0 2y agoExplain → -
road-to-reality ⑂
The Road to Reality essay and newsletter source.
★ 0 3y agoExplain → -
emmy-module ⑂
Emmy CAS as JavaScript Module
★ 0 3y agoExplain → -
sympy ⑂
A computer algebra system written in pure Python
★ 0 3y agoExplain → -
math.combinatorics ⑂
No description.
★ 0 3y agoExplain → -
haskell-scheme
Scheme interpreter in Haskell.
Haskell ★ 0 11y agoExplain → -
clj-kondo ⑂
A linter for Clojure code that sparks joy.
Clojure ★ 0 3y agoExplain → -
example-test
No description.
★ 0 3y agoExplain → -
practicalli-clojure ⑂
Practicalli Clojure REPL Driven Development
★ 0 3y agoExplain → -
babashka ⑂
Native, fast starting Clojure interpreter for scripting
★ 0 3y agoExplain → -
MathBox.js ⑂
MathBox is a (work in progress) library for making presentation-quality math diagrams in WebGL.
★ 0 3y agoExplain → -
leva ⑂
🌋 React-first components GUI
★ 0 3y agoExplain → -
clerk-repro
No description.
Clojure ★ 0 3y agoExplain → -
shadow-repro
No description.
Clojure ★ 0 2y agoExplain → -
garden-ui ⑂
The homepage and ui for clerk.garden
★ 0 3y agoExplain → -
sci-repro
No description.
Clojure ★ 0 3y agoExplain → -
mathlive ⑂
A web component for easy math input
★ 0 3y agoExplain → -
compute-engine ⑂
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
TypeScript ★ 0 3y agoExplain → -
api ⑂
ClojureScript API parser
★ 0 3y agoExplain → -
same-ish ⑂
A Clojure library for approximate comparison of floating point types in tests
★ 0 3y agoExplain → -
cortexjs.io ⑂
Source for the cortexjs.io website
★ 0 3y agoExplain → -
test.chuck ⑂
A utility library for test.check
★ 0 3y agoExplain → -
babashka-snipets ⑂
No description.
Clojure ★ 0 4y agoExplain → -
rtlamr2mqtt ⑂
Docker container to send rtlamr readings to a mqtt broker
★ 0 4y agoExplain → -
mathbox-react ⑂
No description.
TypeScript ★ 0 3y agoExplain → -
research
Snippets and notebooks for various explorations.
Mathematica ★ 0 4y agoExplain → -
clerk-demo ⑂
Clerk is coming soon™️
Clojure ★ 0 3y agoExplain → -
clojure ⑂
The Clojure programming language
★ 0 4y agoExplain → -
mundaneum ⑂
A clojure wrapper around WikiData
★ 0 4y agoExplain → -
kondo-repro
repro of kondo issue.
Clojure ★ 0 4y agoExplain → -
mathbox-demo
No description.
JavaScript ★ 0 4y agoExplain → -
craco ⑂
Create React App Configuration Override, an easy and comprehensible configuration layer for create-react-app
★ 0 4y agoExplain → -
org-re-reveal ⑂
Org export to reveal.js presentations
★ 0 4y agoExplain → -
julia ⑂
The Julia Programming Language
★ 0 4y agoExplain → -
euclidean ⑂
Fast, immutable math for 3D geometries in Clojure
★ 0 4y agoExplain → -
log4javabrake ⑂
log4j appender for Airbrake
★ 0 4y agoExplain → -
cc-licenses ⑂
Creative Commons Licenses for Github
★ 0 5y agoExplain → -
website ⑂
JSXGraph website
★ 0 3y agoExplain → -
sci ⑂
Small Clojure Interpreter
★ 0 5y agoExplain → -
clj-tiles ⑂
Scratch-like visual programming for Clojurescript
★ 0 5y agoExplain → -
sicm-repl ⑂
No description.
★ 0 5y agoExplain → -
Fraction.js ⑂
Fraction is a rational number library written in JavaScript
★ 0 5y agoExplain → -
clojurescript ⑂
Clojure to JS compiler
★ 0 5y agoExplain → -
kotlingrad ⑂
Shape-Safe Symbolic Differentiation with Algebraic Data Types
★ 0 5y agoExplain → -
time-literals ⑂
Clojure(Script) tagged literals for jsr-310 ( java.time) entities
★ 0 5y agoExplain → -
scicloj ⑂
Source of the Scicloj website
★ 0 5y agoExplain → -
cider ⑂
The Clojure Interactive Development Environment that Rocks for Emacs
★ 0 5y agoExplain → -
emacs-vega-view ⑂
A mode to facilitate interactive data visualization using Vega from within emacs
★ 0 5y agoExplain → -
notespace-sicmutils-example ⑂
An example of using Notespace to write Sicmutils notes
Clojure ★ 0 5y agoExplain → -
clojure-toolbox.com ⑂
Source to clojure-toolbox.com
★ 0 5y agoExplain → -
sicmutils ⑂
Scmutils in Clojure
Clojure ★ 0 6y agoExplain → -
power-series ⑂
stream processing library for formal power series and generating functions
★ 0 5y agoExplain → -
maria ⑂
A ClojureScript coding environment for beginners.
Clojure ★ 0 5y agoExplain → -
commons-math ⑂
Apache Commons Math
★ 0 5y agoExplain → -
packages ⑂
Javascript libraries packaged up with Google Closure externs
JavaScript ★ 0 5y agoExplain → -
chalktalk ⑂
No description.
JavaScript ★ 0 5y agoExplain → -
core.matrix.complex ⑂
Complex numerical arrays in Clojure, as an extension to core.matrix
★ 0 6y agoExplain → -
sphinx-markdown-test ⑂
Repo for testing Sphinx with RST & Markdown
★ 0 10y agoExplain → -
functional-differential-geometry
Exercises and notes on Functional Differential Geometry, by Sussman.
★ 0 6y agoExplain → -
sicp
Exercises and solutions for Structure and Interpretation of Computer Programs.
Racket ★ 0 6y agoExplain → -
sicm-1 ⑂
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
★ 0 4y agoExplain → -
scmutils ⑂
Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
★ 0 11y agoExplain → -
course ⑂
Functional Programming Course
Haskell ★ 0 11y agoExplain → -
sbt-microsites ⑂
An sbt plugin to create awesome microsites for your project
CSS ★ 0 6y agoExplain → -
hashfs ⑂
A content-addressable file management system for Python.
★ 0 6y agoExplain → -
blog-code
Code from the blog.
Scala ★ 0 6y agoExplain → -
stopwatch ⑂
A Clojure/script stopwatch
★ 0 4y agoExplain → -
tqdm ⑂
A Fast, Extensible Progress Bar for Python and CLI
★ 0 6y agoExplain → -
abseil-py ⑂
Abseil Common Libraries (Python)
★ 0 6y agoExplain → -
cloud_tutorial ⑂
Simple classifier trained on cloud!
Python ★ 0 6y agoExplain → -
rainier ⑂
Bayesian inference in Scala.
Scala ★ 0 6y agoExplain → -
piggieback ⑂
nREPL support for ClojureScript REPLs
Clojure ★ 0 11y agoExplain → -
sente ⑂
Clojure(Script) + core.async + WebSockets/Ajax
Clojure ★ 0 12y agoExplain → -
formative ⑂
Web forms for Clojure and ClojureScript - rendering, parsing, and validating
Clojure ★ 0 12y agoExplain → -
causatum ⑂
A Clojure library for generating streams of events based on stochastic state machines.
Clojure ★ 0 13y agoExplain → -
austin ⑂
The ClojureScript browser-REPL rebuilt stronger, faster, easier.
Clojure ★ 0 12y agoExplain → -
legacy-cc ⑂
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
C ★ 0 13y agoExplain → -
repos ⑂
No description.
★ 0 6y agoExplain → -
scalacheck ⑂
Property-based testing for Scala
Scala ★ 0 9y agoExplain → -
set-theory-solutions-manual ⑂
For Set Theory Term Work
★ 0 3y agoExplain → -
connect-four
Connect Four in Scala.
Scala ★ 0 7y agoExplain → -
spire ⑂
Powerful new number types and numeric abstractions for Scala.
Scala ★ 0 9y agoExplain → -
StrangeLoop2017 ⑂
Strange Loop 2017
★ 0 8y agoExplain → -
hypothesis-python ⑂
Advanced property-based (QuickCheck-like) testing for Python
Python ★ 0 9y agoExplain → -
util ⑂
Wonderful reusable code from Twitter
Scala ★ 0 9y agoExplain → -
cats ⑂
Lightweight, modular, and extensible library for functional programming.
Scala ★ 0 6y agoExplain → -
algebra ⑂
Experimental project to lay out basic algebra type classes
Scala ★ 0 9y agoExplain → -
clj-bob ⑂
The J-Bob proof assistant from The Little Prover in Clojure
Clojure ★ 0 10y agoExplain → -
shadow-build ⑂
ClojureScript compile&build library
Clojure ★ 0 11y agoExplain → -
clj-rethinkdb ⑂
No description.
Clojure ★ 0 11y agoExplain → -
kindsrc
No description.
★ 0 13y agoExplain → -
http-kit ⑂
http-kit is a minimalist, event-driven, high-performance Clojure HTTP server/client library with WebSocket and asynchronous support
Java ★ 0 11y agoExplain → -
parquet-thrift-cascalog ⑂
Idiomatic Cascalog taps to read and write Parquet Thrift files.
Clojure ★ 0 11y agoExplain → -
sablono ⑂
Lisp/Hiccup style templating for Facebook's React in ClojureScript.
Clojure ★ 0 11y agoExplain → -
encore ⑂
Cross-platform Clojure utils library
★ 0 11y agoExplain → -
om ⑂
ClojureScript interface to Facebook's React
★ 0 12y agoExplain → -
om-tools ⑂
Tools for building Om applications
★ 0 12y agoExplain → -
schema-repro
Recreation of a bug with Schema.
Clojure ★ 0 12y agoExplain → -
urly ⑂
A tiny Clojure library that parses and attempts to unify URIs, URLs and relative values found in real world HTML anchors
Clojure ★ 0 12y agoExplain → -
kioo ⑂
Enlive/Enfocus style templating for Facebook's React and Om in ClojureScript.
Clojure ★ 0 12y agoExplain → -
lemur ⑂
Lemur is a tool to launch hadoop jobs locally or on EMR, based on a configuration file, referred to as a jobdef. The jobdef file describes your EMR cluster, local environment, pre- and post-actions and zero or more "steps".
Clojure ★ 0 13y agoExplain → -
optimus ⑂
A Ring middleware for frontend performance optimization.
JavaScript ★ 0 12y agoExplain → -
amazonica ⑂
A comprehensive Clojure client for the entire Amazon AWS api.
Clojure ★ 0 12y agoExplain → -
awaze ⑂
No description.
Clojure ★ 0 12y agoExplain → -
kryo-1 ⑂
Java serialization and cloning: fast, efficient, automatic
Java ★ 0 12y agoExplain → -
mojombo.github.io ⑂
Jekyll source for my personal blog.
CSS ★ 0 12y agoExplain → -
forms-bootstrap ⑂
Utility for creating web forms in Clojure using Twitter's Bootstrap CSS.
Clojure ★ 0 12y agoExplain → -
sbt-snapshot
Snapshot releases for SBT.
★ 0 12y agoExplain → -
pallet-vmfest ⑂
Pallet provider for using vmfest
Clojure ★ 0 12y agoExplain → -
play-websockets-example ⑂
Sample Play 2.1 application to demonstrate web sockets usage
Scala ★ 0 13y agoExplain →
No repos match these filters.