EliaCereda/FirstOrderLogic
A simple parser for first-order logic written in Swift
Public GitHub Catalog
Discovered Nov 2, 2026
EliaCereda / Cartography
A declarative Auto Layout DSL for Swift :iphone::triangular_ruler:
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#47724688GitHub System ID
EliaCeredaOrganization / User
PublicVisibility
ActiveCatalog Status
More from EliaCereda
EliaCereda/swift
The Swift Programming Language
EliaCereda/scholdoc
Fork of Pandoc for the implementation of a ScholarlyMarkdown parser
EliaCereda/homebrew-scholdoc
Official Homebrew tap for Scholdoc and related tools