13 projects
hylogic
Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover
hyml
HyML - XML / (X)HTML generator for Hy
md2notionpage
A package to convert Markdown text to Notion data structure and publish a new page under the parent page
draversal
A package for depth-first traversal of Python dictionaries with uniform child fields, supporting both forward and backward navigation.
llmmanugen
A Python package for manuscript management, designed to handle hierarchical structures of sections and subsections.
numtofi
A package to convert numbers to Finnish textual representation
aissistant
Aissistant v0.7
calchylus3
Calchylus 3 - Lambda Calculus with Hy
calchylus
Calchylus - Lambda Calculus with Hy
abnum
Abnum - Alphabetic numerals package including various letter value substitution systems from ancient times to the modern artificial ones
romanize3
Romanize - Transliteration module to romanize greek, hebrew, arabic, coptic, syriaic, phoenician, finnish, and sanskrit letters to the single roman letter equivalents and back
grcriddles
GRCRiddle - Study and examination of alphabetical and isopsephical riddles of the Ancient Greeks
remarkuple
Remarkuple - XML/HTML/SVG tag generation helper for Python
