carlosgmartin

Pinned Repositories

compressnet
Lossless compression with recurrent neural networks and asymmetric numeral systems
Language:Python1 2 00
ctl
Simple model checker for computation tree logic (CTL)
Language:Haskell1 2 00
curved-space
An interactive visualization of non-Euclidean spaces
Language:JavaScript1 2 00
ising
A simple Monte Carlo simulation of the 2D Ising model
Language:Python3 2 04
lambda
An implementation of the untyped lambda calculus with De Bruijn indices
Language:Python1 2 00
Minigrid
Simple and easily configurable grid world environments for reinforcement learning
Language:Python10
music-game
Procedural generation from audio onset detection
Language:JavaScript5 2 00
neuralnet
Simple example of an artificial neural network
Language:Python4 3 03
occam
Solomonoff induction in higher-type arithmetic
Language:Python1 2 00
web-scraping
Tutorial for web scraping in Python
Language:Python9 5 016

carlosgmartin's Repositories

carlosgmartin/web-scraping
Tutorial for web scraping in Python
Language:Python9 5 016
carlosgmartin/music-game
Procedural generation from audio onset detection
Language:JavaScript5 2 00
carlosgmartin/neuralnet
Simple example of an artificial neural network
Language:Python4 3 03
carlosgmartin/ising
A simple Monte Carlo simulation of the 2D Ising model
Language:Python3 2 04
carlosgmartin/compressnet
Lossless compression with recurrent neural networks and asymmetric numeral systems
Language:Python1 2 00
carlosgmartin/ctl
Simple model checker for computation tree logic (CTL)
Language:Haskell1 2 00
carlosgmartin/curved-space
An interactive visualization of non-Euclidean spaces
Language:JavaScript1 2 00
carlosgmartin/lambda
An implementation of the untyped lambda calculus with De Bruijn indices
Language:Python1 2 00
carlosgmartin/Minigrid
Simple and easily configurable grid world environments for reinforcement learning
Language:Python10
carlosgmartin/occam
Solomonoff induction in higher-type arithmetic
Language:Python1 2 00
carlosgmartin/takens
State space reconstruction with Takens' theorem
Language:Python1 2 00
carlosgmartin/active-learning
Active learning through Bayesian hierarchical clustering
Language:Python0 2 00
carlosgmartin/chat-server
A simple chat server written in C
Language:C2 0
carlosgmartin/cipher
A command line tool for cryptography, written in Haskell.
Language:Haskell2 0
carlosgmartin/combinators
SK combinatory logic implementation
Language:C2 0
carlosgmartin/euler
Solving Project Euler with Haskell
Language:Haskell2 0
carlosgmartin/fdtd
Computational electromagnetics using the FDTD method
Language:JavaScript2 0
carlosgmartin/flax
Flax is a neural network library for JAX that is designed for flexibility.
Language:Python0 0
carlosgmartin/gr
General relativity experiments
Language:Python2 0
carlosgmartin/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Language:Python
carlosgmartin/lambda-search
Systematic search for λ terms
Language:Python2 0
carlosgmartin/optax
Optax is a gradient processing and optimization library for JAX.
Language:Python0 0
carlosgmartin/razor
Search for the smallest primitive recursive function that satisfies a specification
Language:Python2 0
carlosgmartin/reinforcement-learning
Reinforcement learning algorithms
Language:Python2 0
carlosgmartin/relativity
An interactive visualization of special relativity
Language:JavaScript2 0
carlosgmartin/tagsystems
Tag system simulation and prediction based on http://arxiv.org/abs/1601.02014
Language:Mathematica2 0
carlosgmartin/tsp-solver
Travelling Salesman Problem solver in pure Python + some visualizers
carlosgmartin/uniscraper
A tool for scraping information from Columbia UNIs
Language:Shell2 0