carlosantq / LPLLinks
📚Solutions to Language, Proof and Logic (2nd Edition)
☆21Updated 4 years ago
Alternatives and similar repositories for LPL
Users that are interested in LPL are comparing it to the libraries listed below
Sorting:
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆17Updated 2 years ago
- YAMS: Awesome MIPS Server☆19Updated 7 years ago
- Ubuntu Maintainer's Handbook☆65Updated this week
- 👾 Gotta Catch 'Em All!☆16Updated 4 years ago
- TempOS Project: TempOS is an educational and multi purpose Operating System☆38Updated 3 years ago
- Implementação da interface web da plataforma IntegraTI☆8Updated 7 years ago
- DesignWizard (https://sites.google.com/site/designwizardhomepage/) supports automated inspection of Java programs in a higher level than …☆17Updated 6 years ago
- 🚩👨🎓 Slides for my GitHub Campus Expert workshop.☆14Updated 7 years ago
- Minimal Git repository to illustrate partial clones (--filter=blob:none): https://stackoverflow.com/questions/600079/how-do-i-clone-a-sub…☆19Updated 3 years ago
- Teaching material for introduction to compilers course at UFPE☆22Updated 4 years ago
- Python script to fetch GitHub repos metadata.☆23Updated 8 years ago
- ☆32Updated 7 years ago
- python/JS/C++/CLI interface for converting regexes to AT&T FSTs☆13Updated 9 years ago
- Microkernel-Based Research Operating System Written in Rust☆165Updated this week
- Humanitarian ubiquitous language helper☆17Updated last year
- Curso de Engenharia de Software (Bacharelado em Ciência da Computação, DCC/UFMG)☆34Updated 4 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆263Updated 4 years ago
- This script automates the process of creating pull requests with specific changes in multiple repositories.☆15Updated last year
- React hook to leverage Credential Management API☆10Updated last year
- Gecko Download Manager is a Chrome Extension that improves downloading lectures from the Echo360 System.☆47Updated 3 years ago
- The Ultimate program analysis framework.☆221Updated this week
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- Sistema Operacional mais BRAsileiro☆18Updated 6 years ago
- Implementing a web server in a single printf() call☆109Updated 11 years ago
- Compiler demo using ANTLR4 and LLVM☆26Updated 2 years ago
- Linguagem "Enquanto" usada como exemplo na disciplina de Paradigmas de Linguagens de Programação☆14Updated last year
- A socket to rule all other sockets.☆9Updated 9 years ago
- A Neural Network experiment involving a JavaScript game.☆33Updated 6 years ago
- A playful CS 101 course designed for children with a novel approach☆13Updated 8 years ago
- ☆63Updated 5 years ago