Beast code in Giters

Carlos Martin's repositories

web-scraping

Tutorial for web scraping in Python

Language:Python9 50

music-game

Procedural generation from audio onset detection

Language:JavaScript5 20

neuralnet

Simple example of an artificial neural network

Language:Python4 30

ising

A simple Monte Carlo simulation of the 2D Ising model

Language:Python3 20

compressnet

Lossless compression with recurrent neural networks and asymmetric numeral systems

Language:Python1 20

ctl

Simple model checker for computation tree logic (CTL)

Language:Haskell1 20

curved-space

An interactive visualization of non-Euclidean spaces

Language:JavaScript1 20

lambda

An implementation of the untyped lambda calculus with De Bruijn indices

Language:Python1 20

occam

Solomonoff induction in higher-type arithmetic

Language:Python1 20

takens

State space reconstruction with Takens' theorem

Language:Python1 20

active-learning

Active learning through Bayesian hierarchical clustering

Language:Python020

boxoban-levels

This repository contains levels for boxoban, a box-pushing puzzle game inspired by Sokoban.

Apache-2.0000

chat-server

A simple chat server written in C

Language:C020

cipher

A command line tool for cryptography, written in Haskell.

Language:HaskellUnlicense020

combinators

SK combinatory logic implementation

Language:C000

euler

Solving Project Euler with Haskell

Language:Haskell020

evosax

Evolution Strategies in JAX 🦎

Language:PythonApache-2.0000

fdtd

Computational electromagnetics using the FDTD method

Language:JavaScript000

flax

Flax is a neural network library for JAX that is designed for flexibility.

Language:PythonApache-2.0000

gr

General relativity experiments

Language:Python000

lambda-search

Systematic search for λ terms

Language:Python020

mctx

Monte Carlo tree search in JAX

Apache-2.0000

open_spiel

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

Apache-2.0000

optax

Optax is a gradient processing and optimization library for JAX.

Language:PythonApache-2.0010

pgx

🎲 Vectorized RL game environments written in JAX with end-to-end AlphaZero examples

Apache-2.0000

razor

Search for the smallest primitive recursive function that satisfies a specification

Language:Python020

reinforcement-learning

Reinforcement learning algorithms

Language:Python020

relativity

An interactive visualization of special relativity

Language:JavaScript020

tagsystems

Tag system simulation and prediction based on http://arxiv.org/abs/1601.02014

Language:Mathematica000

uniscraper

A tool for scraping information from Columbia UNIs

Language:Shell010