Skyb0rg007

University of Chicago PhD Student

University of ChicagoChicago, IL

Pinned Repositories

Amlib
Portable C utilities
Language:C10
CatHS
Tufts COMP 181 Spring 2020 - https://skyb0rg007.github.io/CatHS/
Language:Haskell1 2 00
CMake-Skeleton
Skeleton for a CMake-based C project
Language:CMake2 1 00
CMLua
ConcurrentML for Lua
Language:Lua0 2 00
doit4me
The easiest debugger to use
Language:C0 1 00
Gettext-CMake
Function for easy gettext additions to your CMake project
Language:CMake7 1 03
Optix
Programming language with algebraic subtyping, in the ML family
Language:Haskell6 1 01
recursion-schemes-ix
Recursion schemes over indexed Functors
Language:Haskell41
xeus-sml
Language:Standard ML10

Skyb0rg007's Repositories

Skyb0rg007/Gettext-CMake
Function for easy gettext additions to your CMake project
Language:CMake7 1 03
Skyb0rg007/fifth
ANS Forth 2012 in x64 assembler
Language:Assembly1 1 0
Skyb0rg007/sml-libs
A collection of useful Standard ML libraries, mostly ported from other languages
Language:Standard ML1 2 0
Skyb0rg007/sml-pretty
Language:Standard ML1 2 0
Skyb0rg007/Advent-of-Code
Language:Shell1 0
Skyb0rg007/CategoryTheoryForCoqProgrammers
Proving Bartosz Milewski's book in Coq
Language:Coq
Skyb0rg007/dotfiles
My dotfiles - vim, bash, XDG compliance. Managed with yadm.
Language:Vim Script1 0
Skyb0rg007/dune
A composable build system for OCaml.
Language:OCaml
Skyb0rg007/fibered-effects
Language:Haskell
Skyb0rg007/lambda-term
Terminal manipulation library for OCaml
Language:OCaml0 0
Skyb0rg007/my-scoop-bucket
Custom Scoop bucket for apps that are missing from the main sources
Language:PowerShell
Skyb0rg007/nixpkgs
Nix Packages collection & NixOS
Skyb0rg007/OS-Command-Lines
Experimentation with the OS-level primitives for handling command line arguments and environment variables
Language:C1 0
Skyb0rg007/Peano
Formalization of non-standard peano arithmetic in Coq
Language:Coq1 0
Skyb0rg007/PL-Reading-Group
Stuff for the UChicago reading group
Language:OCaml1 0
Skyb0rg007/Policy-Iteration-Coq
Playing around with policy iteration
Language:Coq2 0
Skyb0rg007/pomegranate
A sane Clojure API for Maven Artifact Resolver + dynamic runtime modification of the classpath
Language:Clojure0 0
Skyb0rg007/rakudo
🦋 Rakudo – Raku on MoarVM, JVM, and JS
Language:Raku0 0
Skyb0rg007/skyb0rg007.github.io
A website for random things
Language:CSS1 0
Skyb0rg007/SML-bitops
Additional bitwise operations for SML
Language:Standard ML1 0
Skyb0rg007/sml-containers
Standard ML data structures
Language:Standard ML2 0
Skyb0rg007/smlnj-bug
Language:Standard ML1 0
Skyb0rg007/smlnj-legacy
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Language:Standard ML
Skyb0rg007/smlnj-legacy-json-fix
Language:Standard ML
Skyb0rg007/SMLTest
Simple testing framework for Standard ML
Language:Standard ML1 0
Skyb0rg007/staging-presentation
Language:Haskell2 0
Skyb0rg007/suggestion
Language:Haskell
Skyb0rg007/vim-better-sml
:tada: Enjoy writing SML within Vim
Language:Vim Script0 0
Skyb0rg007/website
A static website built with Hugo
Language:Nix
Skyb0rg007/wordle
A simple C++ wordle implementation
Language:C++2 0