jul1u5 Goto Github PK

1lab

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

6.837

MIT Computer Graphics Course Assignments

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.

context-free

desktop-settings

⚙ settings packages for the manjaro flavors

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

dotfiles

dotfiles for NixOS

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-assistant

🏡 Home Assistant config

home-manager

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

ifc-zoo

jul1u5.github.io

Personal site

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

paper-icon-theme

Paper Icon Theme

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

stringtable

Create nicely formatted tables from enumerables (arrays, lists)

sudo-prompt

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

tda283

Material for TDA283 / DIT300 Compiler Construction