GavinMendelGleason/Cocktail GavinMendelGleason/Cocktail

  • Stars
    star
    7
  • Rank 2,237,880 (Top 46 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
GavinMendelGleason/Cocktail
github

GavinMendelGleason

Reviews

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

Repository Details

Supercompiler for a variant of System-F(omega)

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

data_mesh

Data Mesh Book
5
star
9

OWL

OWL in agda
Agda
5
star
10

typo

Type and syntax checker reporting using metainterpretation.
Prolog
4
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