GitHub topics: abstract-machines
dhil/phd-dissertation
A summary of my activities during the past four years
Language: TeX - Size: 6.01 MB - Last synced at: 24 days ago - Pushed at: 7 months ago - Stars: 29 - Forks: 0
sacerdot/Crumbling-Abstract-Machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
Language: Mathematica - Size: 854 KB - Last synced at: 27 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
fixedpoint/tag
A Tag system processor
Language: C - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
iafisher/cs399 📦
My senior thesis in computer science
Language: TeX - Size: 655 KB - Last synced at: 2 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
zejiran/languages-and-machines
Collection of projects made on a language and computation theory course at Universidad de los Andes
Language: HTML - Size: 298 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
pradyumnameena/COL226-Programming-Languages
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
Language: OCaml - Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
sankethire/COL226-Programming-Languages
Assignments under the Programming Languages Course
Language: OCaml - Size: 219 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
