mars0i Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

algrand

Code for thinking about algorithmic randomness and pseudorandomness

algrandhs

Code for thinking about algorithmic randomness using Haskell

aljabr

A core.matrix library for Clojure and Clojurescript.

awesome-idris

𝛌 Awesome Idris resources

bali

Extended Lansing-Kremer model of Balinese crop/water management with added religious transmission

batteries-included

Batteries Included project

bin_prot

Binary protocol generator

bitwise

bit twiddling functions for Clojure

book

Scripts and executables used to create plots for my book

clatrix

A stupid name for a smart matrix library, because who doesn't love smart matrices?

clj-agentscript1

A simple illustration of the use AgentScript in Clojurescript

cljs-hello-d3

Clojurescript says hello to d3.js: A very simple illustration of use of d3.js from Clojurescript without additional libraries.

core.matrix

core.matrix : Multi-dimensional array programming API for Clojure

corpsfini

Code for experimenting with finite fields and pseudorandom number generation using them.

depniche

Exploratory: dependent types. niche models.

forage

Random foraging models

free

Experiments with free energy/prediction error minimization

freemlexp

Miscellaneous machine learning, free energy, etc. experiments (pronounced "freem lexp")

gadget

p. gadget

gexf-parser

Gexf library for JavaScript

goneovim

Neovim GUI written in Golang, using a Golang qt backend

hanami

Interactive arts and charts plotting with Clojure(Script) and Vega-lite / Vega. Flower viewing 花見 (hanami)

hanamitest

Experiments with Hanami and clerk

hdf5-ocaml

OCaml wrapper for HDF5

heavens

Animated diagrams of renaissance and medieval models of motions of heavenly bodies using d3.js, Javascript

homebrew-ocaml

A Homebrew tap for OCaml and OPAM distribution

idris2

A purely functional programming language with first class types

idris2-pack

idris2-tutorial