asvarga Goto Github PK

5value

Generating many-valued logics with z3

alloy-algebra

Abstract Algebra for the Alloy Analyzer

animate

asvarga.github.io

My Website

bessernote

The better better recursive note taker/meta-gui.

boolean-wfst

Represent boolean formulas as WFSTs

chrome-app-samples

Chrome Apps

clonestest

Flare3D: Testing clones in multiple scenes.

clonestest2

Flare3D: Testing clones in separate scenes

compile-2-rnn

Messing around with compiling functions to single-layer RNNs.

config

costtypes

Language for run-time-limited programs

decaf

Decaf Compiler

decaf-llvm

A compiler for Brown's CS126 by Alex Varga and Denizalp Goktas.

egg

egg is a flexible, high-performance e-graph library

fpa-2

Employee Scheduling

interrokanren

Some nice miniKanren macros

intex

Intelligence Explosion: The Game

kinematics3d

libcst

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

manyrendererswitheffects

Broken THREE.JS demo of multiple anti-aliased cameras in one scene.

mars-of-the-penguins

mkdocs-deploy-gh-pages

GitHub Action to deploy an MkDocs site to GitHub Pages

mkdocs-template

Template for Material for MkDocs

nestnote

Yet another nested note taker. When will I learn?

ordinal-arithmetic

Liquid Haskell implementation of ordinal arithmetic

ordinalarithmetic

Arend implementation of ordinal arithmetic

ordinals-python

Ordinal Arithmetic and Function Plotting in Python

pemdice

phibs

A completely un-play-tested game.