domanteli0's Stars
brucebentley/bear-power-pack
A collection of workflows enhancing the beautiful & flexible Bear writing app on iOS and Mac.
tldraw/tldraw
SDK for creating whiteboards and canvas experiences on the web.
lsmor/snake-fury
a challenge for Haskell beginners
KungFur1/sq-psk
KungFur1/vu-ps-semester-6
ignasvoveriukas9/pskLab1
nickel-lang/organist
Control all your tooling from a single console
HoTT/book
A textbook on informal homotopy type theory
haskell-webdriver/haskell-webdriver
A Haskell client for the Selenium WebDriver protocol.
nix-community/nix-vscode-extensions
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
madman-bob/idris2-jupyter
A Jupyter Kernel for Idris 2
DeterminateSystems/nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.
stefan-hoeck/idris2-tutorial
Bi0T1N/typst-iconic-salmon-fa
A Typst library for Social Media references with icons based on Font Awesome.
Pablo-Gonzalez-Calderon/showybox-package
A Typst package for creating colorful and customizable boxes
jomaway/typst-gentle-clues
Simple admonishment for typst
shahruk10/nixshells
Frequently used nix shells for Python, CUDA and more.
vipo/type-driven-dev-2023
Alwinator/asciidoctor-lists
An asciidoctor extension that adds a list of figures, a list of tables, or a list of anything you want!
plasma-umass/browsix
Browsix is a Unix-like operating system for the browser.
artnaxel/PoS-System
lkoehl/typst-boxes
BoostIO/BoostNote-App
Boost Note is a document driven project management tool that maximizes remote DevOps team velocity.
thinhdanggroup/spring_grpc_http
How to build GRpc and Http API with Spring (without proxy).
gaoxin3220119/obsidian-docx-plugin
onlyidev/uni-3
Obsidian notes for University Course #3
joeyespo/grip
Preview GitHub README.md files locally before committing them.
914191848/Migrate-Notion-to-Obsidian
Migrate Notion to Obsidian
jcoder58/PrologTutorials
Prolog Tutorials and Information
dtolnay/inherent
Make trait methods callable without the trait in scope