Giters
Ewen Maclean (ewenmaclean)

ewenmaclean

Geek Repo

3

followers

0

following

6

stars

Company:@AestheticIntegration

Github PK Tool:Github PK Tool

Organizations
imandra-ai

Ewen Maclean's repositories

2dCA

localised rule propagation for Cellular Automata

Language:PostScriptStargazers:0Issues:1Issues:0

amalgams_maths_dol_files

Some experimental dol files for amalgams to try

Stargazers:0Issues:3Issues:0

cicm2015

Paper on Creativity in Mathematics for CICM 2015

Stargazers:0Issues:0Issues:0

coinvent_demo

Initial version of an integrated coinvent system

Language:OCamlLicense:GPL-2.0Stargazers:0Issues:0Issues:0

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ICCC2015

Paper on mathematics, creativity and blending for ICCC2015

Language:TeXStargazers:0Issues:0Issues:0

ICCC2015_hetsfiles

ICCC2015 dol files

License:GPL-2.0Stargazers:0Issues:2Issues:0

langserver.github.io

Language:HTMLStargazers:0Issues:1Issues:0

monaco-languageclient

NPM module to connect Monaco editor with language servers

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

ocaml-decoders

Elm-inspired decoders for Ocaml

Language:OCamlStargazers:0Issues:0Issues:0

Reformation

Reformation and Blending

Language:Emacs LispStargazers:0Issues:0Issues:0

testImlRepo

Stargazers:0Issues:0Issues:0

xtext-languageserver-example

An Example for an Xtext Language Server

License:EPL-1.0Stargazers:0Issues:0Issues:0