Gustav Hedengran's repositories
compositionality
A HOL4 formalization of contract theory for proving compositionality.
caffeine
A high performance caching library for Java
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
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.
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
lsp-mode
Emacs client/library for the Language Server Protocol
neo4j-public
Graphs for Everyone
neo4j.github.com
Web published resources
openCypher
Specification of the Cypher property graph query language
scala
Scala 2 compiler and standard library. For bugs, see scala/bug
tiny
A collection of tiny scripts and programs, too small to warrant individual repos.