-
drifthappens Public
Models for exploring relationships between drift and selection, etc.
Clojure GNU General Public License v3.0 UpdatedFeb 11, 2026 -
learnpurescript Public
Repo for exploring and learning Purescript
PureScript GNU General Public License v3.0 UpdatedDec 17, 2025 -
purescript-book Public
Forked from purescript-contrib/purescript-bookSources for the PureScript book
PureScript UpdatedNov 28, 2025 -
documentation Public
Forked from purescript/documentationDocumentation for the PureScript language, compiler, and tools.
Other UpdatedOct 20, 2025 -
sauroprob Public
Code for exploring ideas about dynamical systems and probability
Clojure GNU General Public License v3.0 UpdatedOct 3, 2025 -
miscellaneous.github.io Public
github.io for miscellaneous experiments, demo pages, etc.
UpdatedMar 29, 2025 -
clay Public
Forked from scicloj/clayA REPL-friendly Clojure tool for notebooks and datavis
Clojure Eclipse Public License 1.0 UpdatedMar 11, 2025 -
tableplot Public
Forked from scicloj/tableplotEasy layered graphics with Hanami & Tablecloth
Clojure Eclipse Public License 1.0 UpdatedMar 4, 2025 -
Clojure_many_args_mwe Public
MWE to illustrate and test this issue with Goneovim Clojure, and Conjure (nrepl): https://github.com/akiyosi/goneovim/issues/565
Clojure UpdatedFeb 27, 2025 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedJan 15, 2025 -
forage Public
Random foraging models
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 24, 2024 -
-
lean.nvim Public
Forked from Julian/lean.nvimneovim support for the Lean theorem prover
Lua MIT License UpdatedSep 25, 2024 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJul 30, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJul 29, 2024 -
idris2-pack Public
Forked from stefan-hoeck/idris2-packIdris BSD 3-Clause "New" or "Revised" License UpdatedDec 4, 2023 -
tablecloth Public
Forked from scicloj/tableclothDataset manipulation library built on the top of tech.ml.dataset
Clojure MIT License UpdatedOct 9, 2023 -
tech.ml.dataset Public
Forked from techascent/tech.ml.datasetA Clojure high performance data processing system
Clojure Eclipse Public License 1.0 UpdatedOct 7, 2023 -
TDDIex92pp249f Public
Repository to display erroneous attempt at exercise 9.2 from Type Driven Development with Idris
Idris UpdatedSep 1, 2023 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedAug 16, 2023 -
lescent Public
Diagrams for lessons on coalescents using d3.js, Javascript
-
awesome-idris Public
Forked from joaomilho/awesome-idris𝛌 Awesome Idris resources
Idris UpdatedApr 29, 2023 -
idris2-tutorial Public
Forked from stefan-hoeck/idris2-tutorialIdris BSD 3-Clause "New" or "Revised" License UpdatedMar 28, 2023 -
masonclj Public
Library to ease use of the MASON ABM library with Clojure
-
corpsfini Public
Code for experimenting with finite fields and pseudorandom number generation using them.
Clojure GNU General Public License v3.0 UpdatedDec 14, 2022 -
goneovim Public
Forked from akiyosi/goneovimNeovim GUI written in Golang, using a Golang qt backend
Go MIT License UpdatedJul 11, 2022 -
book Public
Scripts and executables used to create plots for my book
Clojure GNU General Public License v3.0 UpdatedMar 25, 2022 -
vim-iced Public
Forked from liquidz/vim-icedClojure Interactive Development Environment for Vim8/Neovim
Vim Script MIT License UpdatedMar 18, 2022
{{ message }}