Sebastián Galkin

Clojure library for fake data generation, port of ruby faker

Presentation on Icechunk for the Zarr Summit adopters section

N-D labeled arrays and datasets in Python

Conceptual Mathematics exercises using Lean theorem prover

Cloud-Optimize your Scientific Data as Virtual Zarr stores, using xarray syntax.

Rust object_store crate

An implementation of chunked, compressed, N-dimensional arrays for Python.

Ring Redis Session Store

Haskel brainfuck interpreter

Generate CSS from clojure code with an embedded DSL

Leiningen plugin. Reload namespaces in modified files

A GADT based typechecker for the typed lambda calculus

My solutions to Advent of Code '22

Exercises for "Programming and Proving in Agda"

Dependently typed lambda calculus

An optimizing Brainfuck compiler and evaluator

Reading the book Pearls of Functional Algorithm Design

Test project to try HashCorp's Nomad and Consul

Clojure Tic Tac Toe

Minimal clojure logging library

Learning Kotlin by implementing a (bad) brainfuck evaluator

Lean proves for "Topology by Klaus Jänich"

Haskell pretty printer

Ayuda para hacer pan de fermentacion natural

A talk I gave at the São Paulo Scala meetup

Clojure DynamoDB client

Create a NixOs VirtualBox VM from the Nixos ISO

Clojure library for URL generation

Rails plugin for tab menu creation

A rails plugin to help with model attributes mass assignment and parameter filtering in controllers.