uqbar-project / wollok-tsLinks
TypeScript based Wollok language implementation
☆21Updated last month
Alternatives and similar repositories for wollok-ts
Users that are interested in wollok-ts are comparing it to the libraries listed below
Sorting:
- Clases de la materia de Técnicas Avanzadas de Programación☆20Updated 2 months ago
- ☆24Updated 4 months ago
- Wollok Programming Language☆61Updated 3 years ago
- Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.☆19Updated last month
- ☆15Updated 3 years ago
- Small BDD framework for C/C++☆105Updated 2 years ago
- Templates para facilitar la creación de proyectos en Lenguaje C.☆17Updated last year
- ☆8Updated last year
- Universal, Multi Language, Multi Paradigm code analyzer☆128Updated last year
- Ejemplos de la teoría utilizados durante las clases☆20Updated 2 years ago
- Final Snapshot Of God's Fourth Temple☆13Updated 3 years ago
- Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos☆24Updated 4 years ago
- Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…☆18Updated last week
- Graficador por consola de elementos en un mapa☆9Updated 4 years ago
- Extensión para Google Chrome que facilita el uso de la web de la UTN - FRBA.☆34Updated last week
- A handful of potentially useful crap for Standard ML☆21Updated 7 years ago
- Ejercicios de C para el TP de Sistemas Operativos☆30Updated last year
- Simple framework for testing Standard ML code.☆23Updated 12 years ago
- The original Edinburgh LCF.☆33Updated 8 years ago
- Я - extremely composable embeddable programming language☆68Updated this week
- (λ) Educational lambda calculus interpreter☆72Updated 4 years ago
- Repositorio donde guardaremos las cosas que necesitemos para la cursada del miércoles a la noche, curso original☆37Updated this week
- Course on Metaprogramming☆72Updated last month
- ☆12Updated 6 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Automation to get information and available public resources from the UBA's Virtual Campus.☆13Updated 2 years ago
- ☆23Updated 3 years ago
- A Haskell library for calculating with quantum mapping class group representations☆9Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last month
- ☆11Updated 4 years ago