-
graded-type-theory Public
Forked from graded-type-theory/graded-type-theoryA Logical Relation for Martin-Löf Type Theory in Agda
Agda Other UpdatedSep 23, 2024 -
country Public
Forked from byteverse/countryHaskell data types and functions for countries
Haskell Other UpdatedJun 23, 2024 -
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedDec 22, 2023 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 5, 2023 -
language-server-mule Public
Forked from banacorn/language-server-muleRescript library for hauling language servers from your disk or somewhere else
ReScript MIT License UpdatedDec 5, 2023 -
Segment-Anything-CLIP Public
Forked from PengtaoJiang/Segment-Anything-CLIPConnecting segment-anything's output masks with the CLIP model; Awesome-Segment-Anything-Works
Jupyter Notebook Apache License 2.0 UpdatedOct 3, 2023 -
halide-haskell Public
Forked from twesterhout/halide-haskellHaskell bindings to Halide
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 10, 2023 -
-
tda283 Public
Forked from TDA283-compiler-construction/projectMaterial for TDA283 / DIT300 Compiler Construction
Julia UpdatedMay 7, 2023 -
monad-validate Public
Forked from lexi-lambda/monad-validateA Haskell monad transformer library for data validation
Haskell ISC License UpdatedMar 18, 2023 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedFeb 28, 2023 -
game-of-life Public
Conway's Game of Life implemented in WebAssembly
-
devenv Public
Forked from cachix/devenvFast, Declarative, Reproducible, and Composable Developer Environments
Nix Apache License 2.0 UpdatedDec 1, 2022 -
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedApr 26, 2022 -
waymonad Public
Forked from waymonad/waymonadA wayland compositor based on ideas from and inspired by xmonad
Haskell GNU Lesser General Public License v2.1 UpdatedJul 18, 2021 -
hasktorch Public
Forked from hasktorch/hasktorchTensors and neural networks in Haskell
Haskell Other UpdatedJun 18, 2021 -
tokenizers Public
Forked from hasktorch/tokenizers💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
Rust Apache License 2.0 UpdatedMay 18, 2021 -
entscheidungsproblem Public
Turing Machine Simulator
Haskell Mozilla Public License 2.0 UpdatedApr 8, 2021 -
Pointnet_Pointnet2_pytorch Public
Forked from yanx27/Pointnet_Pointnet2_pytorchPointNet and PointNet++ implemented by pytorch (pure python) and on ModelNet, ShapeNet and S3DIS.
Python MIT License UpdatedApr 5, 2021 -
desktop-settings Public
Forked from simon-bueler/desktop-settingsâš™ settings packages for the manjaro flavors
Shell UpdatedMar 8, 2021 -
6.837 Public
MIT Computer Graphics Course Assignments
-
-
wob Public
Forked from francma/wobA lightweight overlay volume/backlight/progress/anything bar for Wayland.
C ISC License UpdatedNov 10, 2020 -
makefile-executor.el Public
Forked from Olivia5k/makefile-executor.elEmacs helpers to run things from makefiles
Emacs Lisp UpdatedOct 31, 2020 -
check50 Public
Forked from cs50/check50This is check50, a command-line program with which you can check the correctness of your programs.
Python GNU General Public License v3.0 UpdatedOct 5, 2020 -
jupyterWith Public
Forked from tweag/jupyenvdeclarative and reproducible Jupyter environments - powered by Nix
Jupyter Notebook MIT License UpdatedAug 2, 2020 -
kotlin-csv Public
Forked from jsoizo/kotlin-csvPure Kotlin CSV Reader/Writer
Kotlin Apache License 2.0 UpdatedJul 10, 2020 -
sudo-prompt Public
Forked from jorangreef/sudo-promptRun a command using sudo, prompting the user with an OS dialog if necessary.
JavaScript MIT License UpdatedMay 12, 2020
{{ message }}