amblafont/graph-editor-web amblafont/graph-editor-web

  • Stars
    star
    6
  • Rank 2,473,354 (Top 50 %)
  • Language
    Elm
  • License
    MIT License
  • Created almost 4 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amblafont/graph-editor-web
github

amblafont

Reviews

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

Repository Details

An online graph editor written in Elm

More Repositories

1

unification

Notes (and implementation) of unification with binders
TeX
14
star
2

sedlex-menhir

Small example: sedlex-menhir vs ocamllex-ocamlyacc
OCaml
7
star
3

UniversalII

with UIP and rewrite rules in agda
Agda
5
star
4

Skew-Monoidalcategories

Skew monoidal categories in UniMath with structural strengths
Coq
2
star
5

binding-debruijn

Initial semantics (de Bruijn) for binding signature
Coq
2
star
6

bell-quantum-experiment

Article explaining bell's violation of the inequalities
2
star
7

thomas

The article with Thomas
TeX
1
star
8

thesis

Pdf de ma thèse
1
star
9

AutoCorres

changes to autocorres 1.6
Isabelle
1
star
10

notes

Some notes about various stuff
TeX
1
star
11

dargent-examples

Dargent layout specs in cogent
Isabelle
1
star
12

admissible-initial

Initial Semantics for admissible operations
Coq
1
star