tronxi/language tronxi/language

  • Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created about 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tronxi/language
github

tronxi

Reviews

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

Repository Details

Formal executable specification of an imperative language with maude

More Repositories

1

chat-server

Java
6
star
2

webChat

chat web php
PHP
4
star
3

webchat_flutter

webchat implementado con flutter y socket.io
Dart
3
star
4

chat-docker-compose

Shell
3
star
5

wordle-docker-compose

Shell
3
star
6

tetris-maude

Tetris implementation with maude and python
Python
3
star
7

wordle-service

Java
3
star
8

wordle-front

TypeScript
3
star
9

chess-core

Java
2
star
10

wordle-scraping

Python
2
star
11

rubik-maude

2
star
12

chat-kubernetes

Kubernetes config for local environment
2
star
13

chat-front

TypeScript
2
star
14

ClasificadorFrutas-Python

clasificador de frutas en python con opencv y weka
Python
1
star
15

your-clothes

1
star
16

papaya

Formal executable specification of an imperative language with maude
Python
1
star
17

quicksort-erlang

basic quicksort implementation with erlang
Erlang
1
star
18

wordle_flutter

Dart
1
star
19

flutter_osm_example

Dart
1
star
20

snake

snake javascprit
JavaScript
1
star
21

TiendaVirtualMVC

JavaScript
1
star
22

chatSocketIOCliente

cliente chat simple implementado con angular y socket io
TypeScript
1
star
23

papaya2

Formal executable specification of an imperative language with maude
Python
1
star
24

web-login-example

Java
1
star
25

JustNotes

Aplicacion notas Android
Java
1
star
26

Tetris

Tetris java
Java
1
star
27

Laberinto

Algoritmo para salir de un laberinto c#
C#
1
star
28

nestjs-example

TypeScript
1
star
29

naipes

Memory game
TypeScript
1
star
30

NeveraCDI

Nevera Javascprit
JavaScript
1
star
31

rabbitmq-examples

Java
1
star
32

keycloak-flutter-springboot-example

C++
1
star
33

whatsapp-web-scraping

Python
1
star