- https://www.linkedin.com/in/jonathan-jewell
- https://orcid.org/0000-0002-3078-6652
- @Philopolymath
- jonathan.jewell
- hyperpolymath
- https://learn1.open.ac.uk/mod/oublog/view.php?user=34022
Highlights
Lists (18)
Data itself
This is where I am putting actual data rather than databases themselves. Could be anything needing processing, or using for testing, training, or actual useDatabases & Related
What more do you need?Diagramming & Conceptual Tools
This will definitely need renaming, but I started by trying to tidy up things like UML and visualisation toolsDistributed Web
One central location for, um, wait a minute...Documents and Standards
This includes the Palimpsest License machine readable entities for LLMs etc and standards documents including RSREducation Stuff
More about developments that are focussed on educational problem solving and enhancement, rather than things that I am teaching onExtended language tools
Basically things that are useful for supporting smaller languages in relmaining relevant and taking advantages of them for their very speciific purposesGit & Workflow
IoT, IIoT...
Living on the EdgeLanguages
Metaprogramming and programming thingsMy coolest projects
Actually, it's all my projects (on GitHub at least), which makes me look terrible...OS and Containers & things
What the subject says...Plugins and Extensions
These things are other people's products stuff like Zotero or asdfResources
This is just going to be textual type resources that someone decided was a good idea to use GitHub to store things inSCADA, DCS, that sort of thing
Yep, it's on...Security & Vulnerabilities
Well, this is going to be a whole load of things, including things related to hardening, viruses, cryptography and so onSilly things
I couldn't think of anything better to call itWebsites and CMS
Mainly Wordpress plugins and stuff like thatStars
Type-safe string and collection concatenation with proven bounds - built on the proven library
Federated, multi-language package manager with formal verification and trust pipeline.
Certified Null Operations - identity functions with proofs in Idris2 dependent types
Idris2 bindings for automated theorem provers - proof verification infrastructure
Dependent types as claims with evidence - formal verification primitives for Idris2
Personal manifesto on metaprogramming, RSR 2026, and machine-readable governance
hyperpolymath / packages
Forked from nim-lang/packagesList of packages for Nimble
PanLL eNSAID - Environment for NeSy-Agentic Integrated Development
Self-Validating Component (SVC) standard built on must-just-nickel triad - files that carry their own validation
A collection of materials about the ReScript programming language and toolchain.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
Neurosymbolic filesystem manipulation suite
Negative-space diagnostics for invisible character detection
Neuro-symbolic framework bridging ReScript and Nickel for resilient browser userscripts
shubh2294 / datasharing
Forked from jtleek/datasharingThe Leek group guide to data sharing