jul1u5

6.837

MIT Computer Graphics Course Assignments

context-free

dotfiles

dotfiles for NixOS

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-mode-vscode

agda-mode on VS Code

check50

This is check50, a command-line program with which you can check the correctness of your programs.

desktop-settings

⚙ settings packages for the manjaro flavors

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

entscheidungsproblem

Turing Machine Simulator

game-of-life

Conway's Game of Life implemented in WebAssembly

halide-haskell

Haskell bindings to Halide

hasktorch

Tensors and neural networks in Haskell

home-manager

Manage a user environment using Nix [maintainer=@rycee]

IFC-Zoo

jupyterWith

declarative and reproducible Jupyter environments - powered by Nix

kotlin-csv

Pure Kotlin CSV Reader/Writer

language-server-mule

Rescript library for hauling language servers from your disk or somewhere else

makefile-executor.el

Emacs helpers to run things from makefiles

monad-validate

A Haskell monad transformer library for data validation

nix-env-selector

Allows switch environment for Visual Studio Code and extensions based on Nix config file.

nixpkgs

Nix Packages collection

Pointnet_Pointnet2_pytorch

PointNet and PointNet++ implemented by pytorch (pure python) and on ModelNet, ShapeNet and S3DIS.

Segment-Anything-CLIP

Connecting segment-anything's output masks with the CLIP model; Awesome-Segment-Anything-Works

sudo-prompt

Run a command using sudo, prompting the user with an OS dialog if necessary.

tda283

Material for TDA283 / DIT300 Compiler Construction

tokenizers

💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

waymonad

A wayland compositor based on ideas from and inspired by xmonad

wob

A lightweight overlay volume/backlight/progress/anything bar for Wayland.

z3

The Z3 Theorem Prover