mars0i Goto Github PK
Name: Marshall Abrams
Type: User
Company: University of Alabama at Birmingham, Department of Philosophy
Name: Marshall Abrams
Type: User
Company: University of Alabama at Birmingham, Department of Philosophy
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library
Code for thinking about algorithmic randomness and pseudorandomness
Code for thinking about algorithmic randomness using Haskell
A core.matrix library for Clojure and Clojurescript.
𝛌 Awesome Idris resources
Extended Lansing-Kremer model of Balinese crop/water management with added religious transmission
Batteries Included project
Binary protocol generator
bit twiddling functions for Clojure
Scripts and executables used to create plots for my book
A stupid name for a smart matrix library, because who doesn't love smart matrices?
A simple illustration of the use AgentScript in Clojurescript
Clojurescript says hello to d3.js: A very simple illustration of use of d3.js from Clojurescript without additional libraries.
core.matrix : Multi-dimensional array programming API for Clojure
Code for experimenting with finite fields and pseudorandom number generation using them.
Exploratory: dependent types. niche models.
Random foraging models
Experiments with free energy/prediction error minimization
Miscellaneous machine learning, free energy, etc. experiments (pronounced "freem lexp")
p. gadget
Gexf library for JavaScript
Neovim GUI written in Golang, using a Golang qt backend
Interactive arts and charts plotting with Clojure(Script) and Vega-lite / Vega. Flower viewing 花見 (hanami)
Experiments with Hanami and clerk
OCaml wrapper for HDF5
Animated diagrams of renaissance and medieval models of motions of heavenly bodies using d3.js, Javascript
A Homebrew tap for OCaml and OPAM distribution
A purely functional programming language with first class types
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.