mars0i

masonclj

Library to ease use of the MASON ABM library with Clojure

pasta

Agent-based simulation with evolutionary strategies, individual and social learning, simple model of prediction error minimization

free

Experiments with free energy/prediction error minimization

lescent

Diagrams for lessons on coalescents using d3.js, Javascript

imprecise-evolution

Simulations of evolutionary processes involving imprecise probabilities (repo impev is an earlier version)

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

awesome-idris

𝛌 Awesome Idris resources

bitwise

bit twiddling functions for Clojure

book

Scripts and executables used to create plots for my book

corpsfini

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

depniche

Exploratory: dependent types. niche models.

forage

Random foraging models

gadget

p. gadget

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

Idris2

A purely functional programming language with first class types

idris2-pack

idris2-tutorial

impchance

Experiments concerning simulation of imprecise chance

minimal-shadow-cljs-browser

Demo shadow-cljs for browser apps

misc

misc stuff

necker

Simple constraint satisfaction network model of Necker cube perception

scicloj.github.io

The Scicloj website

tablecloth

Dataset manipulation library built on the top of tech.ml.dataset

TDDIex92pp249f

Repository to display erroneous attempt at exercise 9.2 from Type Driven Development with Idris

tech.ml.dataset

A Clojure high performance data processing system

vim-iced

Clojure Interactive Development Environment for Vim8/Neovim