Pinned Repositories
LCirc
Props for building circuits and their behaviours.
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
adliya
agda-exercises
agi
AI-scripts
Some handy AI scripts
alga
Algebraic graphs
astaghfirullah
Theoretically optimal distribution of aid for flood-stricken Pakistan (2022)
muzero
opt-expect
faezs's Repositories
faezs/opt-expect
faezs/astaghfirullah
Theoretically optimal distribution of aid for flood-stricken Pakistan (2022)
faezs/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
faezs/adliya
faezs/agda-exercises
faezs/agi
faezs/AI-scripts
Some handy AI scripts
faezs/ARC-AGI
The Abstraction and Reasoning Corpus
faezs/ARTIST
A differentiable ray tracer using the PyTorch machine-learning framework in Python.
faezs/AzelioOpenLibrary
A Modelica library to model Stirling engines and latent heat thermal storages. Several examples are included.
faezs/compiling-anything-to-categories
a talk about and sample project for the [[https://github.org/con-kitty/categorifier][Categorifier]] GHC plugin.
faezs/Compositional_Deep_Learning
Deep learning via category theory and functional programming
faezs/concat
Compiling to Categories
faezs/deepmind-research
This repository contains implementations and illustrative code to accompany DeepMind publications
faezs/difflogic
A Library for Differentiable Logic Gate Networks
faezs/felix
Agda category theory library for denotational design
faezs/grafana
Haskell library for generating JSON grafana dashboards
faezs/Haskell-OpenAPI-Client-Code-Generator
Generate Haskell client code from an OpenAPI 3 specification
faezs/horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
faezs/hs-bindgen-types
faezs/HVM3
HVM3
faezs/monad-bayes
A library for probabilistic programming in Haskell.
faezs/nixos-config
my nixos configuration
faezs/nrel
nrel build on nix
faezs/openai-hs
Unofficial OpenAI Haskell Bindings
faezs/orb-models
ORB forcefield models from Orbital Materials
faezs/reinforcement
Implementations of common reinforcement learning algorithms.
faezs/simplexmq
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
faezs/testcontainers-hs
Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers
faezs/winery
Preservative serialisation format