-
-
DM1_MiNICS Public
This repository contains Discrete Mathematics 1 Lecture notes taught at Mathematics and Information Sciences Dep. at WUT
-
-
-
aoc2024 Public
Advent of Code 2024
-
lispy Public
Fun with tiny lisp interpreter in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 28, 2024 -
doomemacs Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker
Emacs Lisp MIT License UpdatedOct 24, 2024 -
cornelis Public
Forked from agda/cornelisagda-mode for neovim
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 8, 2024 -
nokhwa Public
Forked from l1npengtul/nokhwaCross Platform Rust Library for Powerful Webcam/Camera Capture
Rust Apache License 2.0 UpdatedSep 30, 2024 -
goalacritty-theme-changer Public
Goalacritty theme changer is a small app for alacritty terminal theme change
Go UpdatedSep 8, 2024 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedAug 31, 2024 -
-
-
-
bash-gpt Public
A very simple Haskell app to communicate with OpenAI API to translate basic commands into bash terminal commands
Haskell Other UpdatedApr 25, 2023 -
-
{{ message }}