molikto/mlang2 molikto/mlang2

  • This repository has been archived on 04/Mar/2023
  • Stars
    star
    2
  • Language
    Scala
  • Created almost 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
molikto/mlang2
github

molikto

Reviews

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

Repository Details

Last incarnation of my dependent type implementation attempt

More Repositories

1

mlang

Towards changing things and see if it proofs
Scala
59
star
2

CherryTree

A collaborative structural editor for structured rich document with VIM-like keybindings
Scala
18
star
3

medit

The structural editor framework for mlang
Scala
9
star
4

yuyan

Scala
7
star
5

graphics-playground

Rust
6
star
6

ChihuahuaLang

PLT & structural editor playground
Scala
3
star
7

KotlinParserGenerator

Kotlin
3
star
8

JsonParserGenerator

(abandoned) we have a much better one to generate JSON, protobuf, SQLite database schema. but we have no time to open source it
Scala
2
star