Pinned Repositories
caffeine
A high performance caching library for Java
compositionality
A HOL4 formalization of contract theory for proving compositionality.
cypher-language-support
Neo4j's Cypher Language support
cypher-mode
Cypher-mode is an Emacs major mode for editing and running Cypher queries in Neo4j.
docs-cypher
Neo4j Cypher Documentation
docs-status-codes
Documentation for Neo4j status codes
dotfiles
My collection of dotfiles.
front-end
Parsing, AST and semantic analysis for the Cypher Query Language
gomoku
A heuristic function for Gomoku (or 5-in-a-row), implemented as a Cypher query.
hedengran.github.io
hedengran's Repositories
hedengran/compositionality
A HOL4 formalization of contract theory for proving compositionality.
hedengran/caffeine
A high performance caching library for Java
hedengran/cypher-language-support
Neo4j's Cypher Language support
hedengran/cypher-mode
Cypher-mode is an Emacs major mode for editing and running Cypher queries in Neo4j.
hedengran/docs-cypher
Neo4j Cypher Documentation
hedengran/docs-status-codes
Documentation for Neo4j status codes
hedengran/dotfiles
My collection of dotfiles.
hedengran/front-end
Parsing, AST and semantic analysis for the Cypher Query Language
hedengran/gomoku
A heuristic function for Gomoku (or 5-in-a-row), implemented as a Cypher query.
hedengran/hedengran.github.io
hedengran/jlox
An interpreter for the programming language Lox, based on the book Crafting Interpreters.
hedengran/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
hedengran/neo4j-documentation
hedengran/lsp-mode
Emacs client/library for the Language Server Protocol
hedengran/neo4j-public
Graphs for Everyone
hedengran/neo4j.github.com
Web published resources
hedengran/openCypher
Specification of the Cypher property graph query language
hedengran/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
hedengran/tiny
A collection of tiny scripts and programs, too small to warrant individual repos.