Pinned Repositories
.emacs-cs-357-config
Template and example init files for CS 357
.emacs.d
My emacs config files
agora-app
Simple and (hopefully) secure social media application. Also a project for spring 2024 CS 444 cybersecurity class at UNM.
AXDInterpolator
EUFInterpolator
Parser-Evaluator-of-the-Simply-Typed-Lambda-Calculus
PDA-to-CFG
Algorithm to convert a Push Down Automata (PDA) to a Context Free Grammar (CFG)
QuickPandoc
QuickTex
zsh.config
typesAreSpaces's Repositories
typesAreSpaces/Parser-Evaluator-of-the-Simply-Typed-Lambda-Calculus
typesAreSpaces/PDA-to-CFG
Algorithm to convert a Push Down Automata (PDA) to a Context Free Grammar (CFG)
typesAreSpaces/EUFInterpolator
typesAreSpaces/QuickPandoc
typesAreSpaces/BosqueLanguage
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
typesAreSpaces/bsp-layout
Manage layouts in bspwm (tall and wide)
typesAreSpaces/DAG-EUF-Algorithm
typesAreSpaces/debianDotFiles
typesAreSpaces/Extended-Groebner-Basis
typesAreSpaces/FStar
Verification system for effectful programs
typesAreSpaces/Groebner-Fan-Seminar-Project
typesAreSpaces/hello-world
Yet another hello-world tutorial
typesAreSpaces/knowledge-package-example
typesAreSpaces/Macaulay2TBBPatch
typesAreSpaces/manjaroDotFiles
typesAreSpaces/master-thesis
typesAreSpaces/minisat
A minimalistic and high-performance SAT solver
typesAreSpaces/NValuedLogic
typesAreSpaces/Online-Voting-Tool-Backend
The Serverside of the online voting tool
typesAreSpaces/SCCS-2018-Website
14th Annual Computer Science Student Conference 2018 April 18, 2018
typesAreSpaces/typesAreSpaces.github.io
typesAreSpaces/VideoUploaderMachine
typesAreSpaces/z3-proofs2latex
Script to convert z3 proofs (produced by the pretty printer from the C++/Python API) to a latex file