vserge
Follow
Lists (2)
Starred repositories
An optimized graphs package for the Julia programming language
Repository for B0M36SPJ
Tool for visualizing requirements and generating model skeleton
An experimental ontology language formalized in Coq with many semantics
A Julia library for automated deduction in Euclidean geometry.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Security Certification Roadmap HTML5/CSS3 version
Navisworks Plugin to Read BCF files and convert BCF Topics in Navisworks Viewpoints
🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support
Everything about note management. All in Zotero.
Zotero plugin that links your Markdown database to Zotero. Jump directly from Zotero Items to connected Markdown files. Automatically tags Zotero Items so you can easily see which papers you've mad…
A plugin template for Zotero.
A Python Library to retrieve annotations and notes from Zotero and upload them to your Readwise.
A new markup-based typesetting system that is powerful and easy to learn.
Zotero plugin to automatically move attachments and link them
Customize your Zotero workflow.
Zotero plugin, fetching publication metadata and cite counts (w/ and w/o self citations) from the INSPIRE-HEP database (and CrossRef cite counts for papers in other fields)
d0SL (Delta0 Semantic Language) effectively represents an AI 2.0 platform for autonomous decision making systems based on a semantic modelling approach. Main components of d0SL platform: d0VM – sem…
Practical sessions for the Optimal Transport and Machine learning course at DS3 2018
Development of the next generation of Industry Foundation Classes