Pinned Repositories
addnas
top level addnas repo
addnas_build_machine
components of addnas build machine
addnas_mldonkey
mldonkey cross-compiled to armel
addnas_ocaml-cross-compiler
ocaml cross compiler x86_64 to arm (very alpha, incomplete).. see the wiki for more info.
addnas_source
addnas source code
addnas_upgrader
upgrader builders for addnas
resize-bookmarks-editor
Firefox extension for resizing the individual-bookmark-editor
tagspace
My completely new version of tagsifter and tagsieve as a WebExtensions plugin.
tagspace-archive
This is my archive of tagsifter and tagsieve with my fixes and workarounds.
tagspace-tng
Prototyping a webextension replacement for my "tagspace", not for prime time.
wagle's Repositories
wagle/tagspace-archive
This is my archive of tagsifter and tagsieve with my fixes and workarounds.
wagle/tagspace-tng
Prototyping a webextension replacement for my "tagspace", not for prime time.
wagle/addnas_mldonkey
mldonkey cross-compiled to armel
wagle/addnas_source
addnas source code
wagle/addnas
top level addnas repo
wagle/addnas_ocaml-cross-compiler
ocaml cross compiler x86_64 to arm (very alpha, incomplete).. see the wiki for more info.
wagle/addnas_build_machine
components of addnas build machine
wagle/addnas_upgrader
upgrader builders for addnas
wagle/resize-bookmarks-editor
Firefox extension for resizing the individual-bookmark-editor
wagle/tagspace
My completely new version of tagsifter and tagsieve as a WebExtensions plugin.
wagle/edit-bookmark-plus
Edit Bookmark Plus - Firefox Extension
wagle/homebrew
The missing package manager for OS X.
wagle/pdf2svg
patched source to pdf2pdf from http://www.cityinthesky.co.uk
wagle/webextension-experiment-tags
WebExtension Experiment API to get access/read bookmark tags in Firefox
wagle/arch-aur-packages
Sources for the PKGBUILDs I maintain on ArchLinux AUR
wagle/cabal-reset
wagle/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
wagle/d3-graphviz
Graphviz DOT rendering and animated transitions using D3
wagle/gitit-plugins
My collection of gitit plugins. Gitit is a wiki written in haskell, and so are the plugins.
wagle/homebrew-xfig
homebrew tap for xfig (and transfig)
wagle/hpcc-js-wasm
hpcc-js-wasm testing
wagle/linux-oxnas
linux kernel for oxnas
wagle/markdown-preview
📝 Markdown preview in Atom
wagle/obsidian-dot-plugin
wagle/obsidian-generic-plugin
Generic Obsidian Plugin
wagle/obsidian-leftsidebar-prototype
Sandbox for developing leftsidebar for generating database queries
wagle/obsidian-wikios-prototype-02
Prototype 2 of my Obsidian WikiOS plugin
wagle/react-virtual-scroll
Prototype Virtual Scrolling in Obsidian
wagle/tagspace-tng-deleteme
Prototyping a webextension replacement for my "tagspace"
wagle/voxel-engine
3d voxel engine using three.js (webgl). work in progress