GavinMendelGleason/typo GavinMendelGleason/typo

  • Stars
    star
    4
  • Rank 3,225,335 (Top 65 %)
  • Language
    Prolog
  • License
    Apache License 2.0
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
GavinMendelGleason/typo
github

GavinMendelGleason

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Type and syntax checker reporting using metainterpretation.

More Repositories

1

excel_as_code

Blog on excel as code
117
star
2

syntactic_versioning

What if Git worked with Programming Languages?
97
star
3

blog

Gavin Mendel-Gleason's blog
JavaScript
64
star
4

many_worlds

A description of the relationship between databases, collaboration and Kripke
24
star
5

why_terminusx

Why we made TerminusX
10
star
6

code

All of the random projects, test files, helloworlds, proofs etc.
Coq
7
star
7

programming_semantics

Semantics of Programming Languages
Agda
7
star
8

Cocktail

Supercompiler for a variant of System-F(omega)
Haskell
7
star
9

data_mesh

Data Mesh Book
5
star
10

OWL

OWL in agda
Agda
5
star
11

terminusBlog

An example blog written in TerminusDB
JavaScript
2
star
12

mudbug

muDBug is a web-aware logic database designed as a next gen knowledge store.
2
star
13

nn-ling

Tools for using word embeddings to guess features and extract answers from questions.
Python
2
star
14

seshat-web

Seshat Global History Databank web interaction
JavaScript
1
star
15

transformer

Tools for program transformation in prolog
Prolog
1
star
16

lexdata

Lexically sortable datatypes
Rust
1
star
17

terminusdb-scripts

Various scripts for TerminusDB processing
Python
1
star