Pinned Repositories
advent-of-code
albert-todoist
albert plugin for quickly adding todoist todos
go-jsonfeed
Simple JSON Feed implementation in go
install-qaac.sh
script to automate installing qaac under wine
janet-format
Janet string formatting, with python syntax
konjecture
nixterm-rs
Rust terminal library
simplify
Solve and rewrite algebra
todoist-rs
Rust wrapper around the todoist sync API
zig-ringbuffer
A dynamic ring buffer (circular queue), useful for efficient queue and random access operations.
ishehadeh's Repositories
ishehadeh/konjecture
ishehadeh/howlite
A low level programming language with precise integer types
ishehadeh/ishehadeh.github.io
ishehadeh/rss2epub
Generate an epub book from the articles in an rss feed
ishehadeh/silverbullet-chainsync
ishehadeh/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
ishehadeh/ansible-fail2ban
Ansible role to set up fail2ban in RHEL / Centos and Ubuntu systems.
ishehadeh/ansible-letsencrypt
Install and auto-renew SSL certificates with Let's Encrypt and Ansible.
ishehadeh/ansible-role-jackett
Ansible role for installing, configuring and uninstalling Jackett
ishehadeh/ansie
A terminal renderer for web developers
ishehadeh/aries
Toolbox for automated planning and combinatorial solving.
ishehadeh/austral
Systems language with linear types and capability-based security.
ishehadeh/blog
ishehadeh/cgt-tools
Combinatorial Game Theory toolkit
ishehadeh/cmdq
Shell command chain for Typescript
ishehadeh/deno_tui
🦕 Deno module for creating Terminal User Interfaces
ishehadeh/dots
ishehadeh/FormDataToObject
Converts the FormData object into a complex object model.
ishehadeh/howlite-fa24
ishehadeh/ifitools
Ian's finance tools
ishehadeh/install_nebula
An Ansible Role for deploying Nebula
ishehadeh/kiss
Stupidly simple Hugo blogging theme
ishehadeh/media-server
ishehadeh/plasmadeck
ishehadeh/silverbullet
Markdown as a platform
ishehadeh/silverbullet-git
Basic Git plug for Silver Bullet
ishehadeh/silverbullet-shopping
Shopping list plugin for silverbullet
ishehadeh/typst-games
Typst functions for drawing common combinatorial games
ishehadeh/typst-languagetool
LanguageTool Integration for Typst for spell and grammer check
ishehadeh/vscode
Visual Studio Code