paulroden Goto Github PK
Name: Paul Roden Henderson
Type: User
Paul Roden Henderson's Projects
advent-of-code
agda
Agda is a dependently typed programming language / interactive theorem prover.
analyzere-python
Python wrapper for the Analyze Re API.
bokeh
Interactive Web Plotting for Python
bokeh-notebooks
Interactive Web Plotting with Bokeh in IPython notebook
cargo-chef
A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.
concat
Compiling to Categories
cubical
An experimental library for Cubical Agda
dask-tutorial
Dask tutorial
dasp
The fundamentals for Digital Audio Signal Processing. Formerly `sample`.
datashader
Turns even the largest data into images, accurately.
denotational-hardware
Denotational hardware design in Agda
doh-theme-emacs
tao-theme - two uncoloured color themes for EMACS
dotfiles
ellipsis
emacs
the greatest emacs setup of all time
eud
Eudaemon: A kind spirit for managing Emacs client & server instances
font-awesome
The iconic SVG, font, and CSS toolkit
functional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
home-manager
Manage a user environment using Nix [maintainer=@rycee]
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
itwg---air-cede-to-oed-file
An Exposure conversion code from AIR CEDE database to OED file
ndarray
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
ndarray-koans
Material for "ML Introduction to ndarray" workshop at RustFest 2019.
nivo
nivo provides a rich set of dataviz components, built on top of the awesome d3 and Reactjs libraries
nix-darwin
nix modules for darwin
nix-darwin-emacs
A nix overlay for bleeding-edge Emacs on Darwin
nixos-config
My NixOS configurations.
nixpkgs
Nix Packages collection
operating-systems
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.