Discover mrakgr/Partial-Evaluation-Book-Stuff Open Source project

Stars
1
Language
F#
Created over 7 years ago
Updated over 7 years ago

mrakgr

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Examples from the [Partial Evaluation and Automatic Program Generation book.

The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.

Python

884

Lithe-POC

Proof of concept of a functional reactive UI library.

Tutorials

Various tutorials in markdown format.

paperspace-notebook-starter-script

A little script that I've been using to start free tier Paperspace notebooks

Python

Spiral-Library

Basic reverse AD on the GPU.

PIM-Programming-In-Spiral-UPMEM-Demo

A demo of Spiral's UPMEM Python + C backend.

Python

Parallel-Permutation-Algorithm

Parallel permutation matrix algorithm C++.

Cuda

CFR-In-Fsharp

Randomized testing of various CFR theorems.

ML-Dump

The things I did over the last four months in ML. Some of the examples might be broken, but on the plus side, a lot of them are fairly isolated.

Poker-In-Spiral

Series on articles on how to train a poker agent using a combination of Spiral and Python.

HTML

Embel

A small functional testing library.

MIP-And-Giraffe

GVGAI-Fsharp

Fsharp port of the GVGAI library.

ddh

Automatically exported from code.google.com/p/ddh

TeX

Multi-armed-Bandit-Experiments

SAFE-Stack---Vite-Template

Pathfinding-Experiments

A bunch of exercises I did to get myself up to speed on pathfinding. Based on the HackerRank Astar Search section.

Spiral-V2

V2 of the Spiral library with convolutional functions and fast Cuda compilation, along with other optimizations.

mrakgr/Partial-Evaluation-Book-Stuff

mrakgr

Reviews

Repository Details

More Repositories