Cyofanni / high-school-cs-classLinks
Computer Science for high schools (Italy)
☆29Updated this week
Alternatives and similar repositories for high-school-cs-class
Users that are interested in high-school-cs-class are comparing it to the libraries listed below
Sorting:
- ☆7Updated 3 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆131Updated 2 years ago
- While language static analyzer☆10Updated 4 years ago
- [UNOFFICIAL] Freely available notes for Computer Science Course at F2☆27Updated 5 months ago
- Programmazione Java☆36Updated 3 months ago
- Typed Racket☆541Updated last week
- Mozart Programming System v2☆583Updated 3 months ago
- The Mercury logic programming system.☆948Updated this week
- SWI-Prolog Main development repository☆1,076Updated last week
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- DrRacket, IDE for Racket☆463Updated this week
- Appunti e forse consigli per sopravvivere ad informatica☆24Updated 8 months ago
- papers of Per Martin Löf☆782Updated last year
- An open source Prolog interpreter in JavaScript☆608Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆451Updated this week
- Appunti per il corso di laurea triennale in Ingegneria Informatica all'Università degli Studi di Napoli Federico II☆11Updated 3 months ago
- Functional language for parallel programming☆433Updated 7 years ago
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- ☆8Updated 2 years ago
- Codice del corso di Algoritmi e Strutture Dati☆6Updated 4 years ago
- Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.☆1,285Updated this week
- Materiale del tutorato del corso di Programmazione ad Oggetti della laurea triennale di Informatica dell'Università degli Studi di Padova…☆7Updated 3 weeks ago
- The Vampire Theorem Prover☆339Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆304Updated 6 months ago
- Implementations of various type systems in OCaml.☆1,580Updated 9 years ago
- WiFi captive portal for ESP8266 for phishing WiFi passwords☆812Updated 3 years ago
- Un documento LaTeX minimale per realizzare il frontespizio di una tesi DISCO@UniMiB☆31Updated last year
- CakeML: A Verified Implementation of ML☆1,052Updated this week
- Progetto Programmazione e Laboratorio 2022-2023☆9Updated last year
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆715Updated 3 years ago