uqbar-project / wollok-tsLinks
TypeScript based Wollok language implementation
☆21Updated last week
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☆23Updated last month
- ☆23Updated 8 months ago
- Wollok Programming Language☆59Updated 3 years ago
- Templates para facilitar la creación de proyectos en Lenguaje C.☆17Updated 4 months ago
- Small BDD framework for C/C++☆104Updated 3 years ago
- Final Snapshot Of God's Fourth Temple☆13Updated 3 years ago
- Ejemplos de la teoría utilizados durante las clases☆20Updated 3 years ago
- Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos☆24Updated 5 years ago
- ☆15Updated 4 years ago
- Universal, Multi Language, Multi Paradigm code analyzer☆125Updated 3 months ago
- Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.☆30Updated this week
- TADs de uso común en aplicaciones desarrolladas en C☆107Updated last week
- Spanish resources for learning Python☆13Updated 2 years ago
- Foro de consultas para el trabajo práctico☆164Updated last month
- Ejercicios de C para el TP de Sistemas Operativos☆31Updated 2 years ago
- Repositorio donde guardaremos las cosas que necesitemos para la cursada del miércoles a la noche, curso original☆35Updated last month
- A Chrome extension that makes navigating and using the UTN.BA - FRBA website easier.☆38Updated last week
- Automation to get information and available public resources from the UBA's Virtual Campus.☆13Updated 2 years ago
- Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…☆17Updated 4 months ago
- Un reconto de contenidos teóricos de Sistemas Operativos, materia de 3° año de la carrera Ingeniería en Sistemas de Información, UTN FRBA…☆22Updated 3 years ago
- ☆28Updated 5 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Updated 9 months ago
- RESTful API about the best league in the world!☆15Updated 3 years ago
- ☆26Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Updated last year
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Updated last month
- Trabajo práctico cuatrimestral de Sistemas Operativos, materia de 3° año de la carrera Ingeniería en Sistemas de Información, UTN FRBA.☆12Updated 3 years ago
- The Mechanization of Standard ML☆74Updated 3 years ago
- App Cuidar☆73Updated 5 years ago