amkhlv

IFT UNESPSao Paulo

Pinned Repositories

amkhlv
BystroTeX and other Racket
Language:Racket11
bystrotex-etc
A tool for writing HTML with LaTeX formulas
Language:Racket0 1 00
dgcm
Differential Geometry and Classical Mechanics
Language:Racket2 4 00
ioqml
A Zenity-like GUI dialog based on QML
Language:C++0 3 00
l2b2l
tools for automatic conversion between LaTeX and BystroTeX
Language:Haskell00
meditation-bell
Meditation bell app for Android
Language:Kotlin0 2 00
pdfviewer
A fork of Qt PdfViewer
Language:C++10 4 17
pdq
a minimalistic PDF viewer with keyboard navigation, bookmarks and annotations
Language:C++12
winterreise
Keyboard navigation of Linux desktop and semi-automatic tiling
Language:Rust3 3 00
wmjump
Keyboard navigation of the Linux desktop
Language:C5 3 00

amkhlv's Repositories

amkhlv/pdfviewer
A fork of Qt PdfViewer
Language:C++10 4 17
amkhlv/wmjump
Keyboard navigation of the Linux desktop
Language:C5 3 00
amkhlv/winterreise
Keyboard navigation of Linux desktop and semi-automatic tiling
Language:Rust3 3 00
amkhlv/dgcm
Differential Geometry and Classical Mechanics
Language:Racket2 4 00
amkhlv/amkhlv
BystroTeX and other Racket
Language:Racket11
amkhlv/mathpump3
program for scientific collaboration and teaching over Internet
Language:Scala1 3 0
amkhlv/pdq
a minimalistic PDF viewer with keyboard navigation, bookmarks and annotations
Language:C++12
amkhlv/usr
Language:Haskell1 3 0
amkhlv/bystrotex-etc
A tool for writing HTML with LaTeX formulas
Language:Racket0 1 00
amkhlv/ioqml
A Zenity-like GUI dialog based on QML
Language:C++0 3 00
amkhlv/l2b2l
tools for automatic conversion between LaTeX and BystroTeX
Language:Haskell00
amkhlv/meditation-bell
Meditation bell app for Android
Language:Kotlin0 2 00
amkhlv/BV
Notes on BV formalism
Language:Racket3 0
amkhlv/bystrotex-manual
Manual for BystroTeX in BystroTeX
Language:HTML1 0
amkhlv/depot
simple online file exchange
Language:Rust2 0
amkhlv/dispatch-2
Seminar scheduler
Language:Kotlin
amkhlv/go-lib
Language:Go2 0
amkhlv/latex2svg
HTTP server to generate SVG image from LaTeX
Language:Scala
amkhlv/LaTeX2SVGServer
HTTP server to generate SVG image from LaTeX
Language:Scala
amkhlv/mathpump2
program for scientific collaboration and teaching over Internet
Language:Java3 0
amkhlv/nix
Nix build scripts
Language:Nix2 0
amkhlv/nushell.github.io
Nushell's main website, blog, book, and more
amkhlv/papers
some of my papers in BystroTeX format
Language:Racket
amkhlv/plurigrep
A tool for finding groups of neighboring lines in a text, in which matches occur for all REGEXes from a given set
Language:Rust3 0
amkhlv/svgserver
svgserver is needed for the simplified setup of mathpump
Language:HTML3 0
amkhlv/SVGServer2
A program for showing SVG whiteboard on a website. Similar to [MathPump](https://github.com/amkhlv/mathpump3) but one-way only. Does not require installation on the receiving end.
Language:Haskell3 0
amkhlv/SVGWatch
Whiteboard for sharing dynamic SVG files over Zoom or GoogleMeet
Language:Racket
amkhlv/talks
my talks
Language:Racket3 0
amkhlv/vim-color-schemes
Vim Color Schemes
Language:Vim script
amkhlv/yesod
A RESTful Haskell web framework built on WAI.
Language:Haskell