Pinned Repositories
chicken-sparql-query
elastic-prototype
ftmicroKanren
First-order temporal logic programming with microKanren
graph-acl-basics
Testing environment for graph-based ACL using the Mu Query Rewriter
mu-chicken-support
mu-chicken-template
mu-query-rewriter
Authorization for RDF stores by SPARQL query transformation
s-sparql
Parsing and transforming SPARQL as Scheme s-expressions
time-in-microKanren
triples
Time-traveling RDF triplestore based on miniKanren
nathanielrb's Repositories
nathanielrb/ftmicroKanren
First-order temporal logic programming with microKanren
nathanielrb/time-in-microKanren
nathanielrb/s-sparql
Parsing and transforming SPARQL as Scheme s-expressions
nathanielrb/triples
Time-traveling RDF triplestore based on miniKanren
nathanielrb/elastic-prototype
nathanielrb/mk-owl-reasoner
nathanielrb/mu-chicken-template
nathanielrb/mu-graph-rewriter
nathanielrb/mu-query-rewriter
Authorization for RDF stores by SPARQL query transformation
nathanielrb/spock-js-framework
A continuations-based reactive JS framework compiled from Scheme
nathanielrb/temporal-microKanren
Temporal relational programming
nathanielrb/yds-rewriter-dev
nathanielrb/graph-acl-basics
Testing environment for graph-based ACL using the Mu Query Rewriter
nathanielrb/chicken-template
Dockerfile for Chicken Scheme
nathanielrb/drafts
nathanielrb/marginalia
nathanielrb/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
nathanielrb/mu-cl-resources
High-level abstractions for generating generic jsonapi compliant resources configured in Common Lisp.
nathanielrb/mu-query-rewriter-sandbox
Sandbox frontend for Mu Query Rewriter
nathanielrb/mu-search-elastic-backend
Elasticsearch backend to be used with mu-search
nathanielrb/mu-search-testing-framework
nathanielrb/nickromeoauthor
nathanielrb/paulvalery
nathanielrb/spock-reactive-framework
A continuations-based reactive framework for the Spock Scheme to Javascript compiler
nathanielrb/tenforce-report-typesetting
Simple environment for writing TenForce reports in Markdown
nathanielrb/website
nathanielrb/work
nathanielrb/zmk-config-artemis
nathanielrb/zmk-config-piano
nathanielrb/zmk-config-totem
ZMK config for TOTEM split keyboard