Alternatives and similar repositories for wollok-ts

Users that are interested in wollok-ts are comparing it to the libraries listed below

• tadp-utn-frba / tadp-clases
  Clases de la materia de Técnicas Avanzadas de Programación
  ☆23Updated 3 weeks ago
• uqbar-project / wollok
  Wollok Programming Language
  ☆60Updated 3 years ago
• 10Pines / pdepreludat
  ☆24Updated 6 months ago
• mumuki / cspec
  Small BDD framework for C/C++
  ☆105Updated 3 years ago
• RaniAgus / so-project-template
  Templates para facilitar la creación de proyectos en Lenguaje C.
  ☆17Updated 2 months ago
• dds-jv / foro
  ☆15Updated 4 years ago
• GuidoDipietro / TP-SO-2021
  Final Snapshot Of God's Fourth Temple
  ☆13Updated 3 years ago
• jlsuh / utn-flowchart
  Un generador de digrafos de planes de estudio de la Universidad Tecnológica Nacional.
  ☆11Updated 10 months ago
• dariokozicki / utnso-vscode
  Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos
  ☆24Updated 5 years ago
• mumuki / mulang
  Universal, Multi Language, Multi Paradigm code analyzer
  ☆126Updated last month
• paigenorth / ECI2025
  Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…
  ☆17Updated 2 months ago
• Lzok / scrapuba
  Automation to get information and available public resources from the UBA's Virtual Campus.
  ☆13Updated 2 years ago
• pdep-utn / enunciados-miercoles-noche
  Repositorio donde guardaremos las cosas que necesitemos para la cursada del miércoles a la noche, curso original
  ☆36Updated this week
• sisoputnfrba / ejemplos-teoria
  Ejemplos de la teoría utilizados durante las clases
  ☆20Updated 3 years ago
• fedelebron / algo3
  Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.
  ☆28Updated this week
• kvalle / sml-testing
  Simple framework for testing Standard ML code.
  ☆23Updated 12 years ago
• jlsuh / so-apuntes-teoricos
  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…
  ☆21Updated 3 years ago
• sisoputnfrba / so-commons-library
  TADs de uso común en aplicaciones desarrolladas en C
  ☆107Updated 3 weeks ago
• paula-m-alvarez / CodearEnEsp
  ☆28Updated 5 years ago
• sisoputnfrba / foro
  Foro de consultas para el trabajo práctico
  ☆161Updated 2 weeks ago
• sisoputnfrba / so-exercises
  Ejercicios de C para el TP de Sistemas Operativos
  ☆30Updated 2 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• flbulgarelli / recursos-python
  Spanish resources for learning Python
  ☆13Updated 2 years ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated 2 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 5 years ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• dds-utn / links-utiles
  ☆24Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• msullivan / sml-util
  A handful of potentially useful crap for Standard ML
  ☆21Updated 8 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 12 years ago