oz
There are 33 repositories under oz topic.
eregon/mozart-graal
An implementation of Oz on top of Truffle and Graal
alhassy/OzCheatSheet
Basics of the Oz/Mozart language ^_^
subgraph/gnome-shell-extension-ozshell
GNOME Shell extension for interfacing with the OZ application sandboxing framework
ioanachelaru/Software-Engineering-Masters
All my work from my master's program in software engineering.
richarah/dorothy
Mozart-Oz + OPI in Docker
dskecse/homebrew-tap
A Homebrew tap for various casks and formulae I maintain
ibodevs/PokemOZ
A Pokemon fan-game made for the UL course LINGI1131 Computer Language Concepts
alexandrustoica/lambda.calcue
λ A lambda calculus expression interpreter
ds2643/ctm-rkt
"concepts, techniques, and models of computer programming" translated to racket scheme
kdnk/ctmcp
Answers of exercises in "Concepts, Techniques, and Models of Computer Programming".
Mjboothaus/PhD-Thesis
Reimplementation of the code used in my PhD thesis - Charged fluids near interfaces: Integral equation theory
shubhsherl/Mozart-Interpreter
Interpreter for Mozart-Oz
agobeaux/LINGI1131Project
Oz Project (Bomberman game) for the "Computer and Language Concepts" Course, taught by Peter Van Roy, UCLouvain (EPL), Spring 2019
kamaz08/Paradygmaty
Paradygmaty Programowania
matheusriale/CTMCP-Oz
Some stuff from Concepts, Techniques, and Models of Computer Programming by PETER VAN ROY and SEIF HARIDI, in Oz language
sebkm/Bomberman
A two players bomberman game made with Oz
Senja20/programming-languages-TDT4165
The reposirory contains all my work on the course Programming Languages - TDT4165, and servers as a back-up.
aniketp/popl
Assignments done as a part of the course Principles of Programming Languages (CS350A)
boggydigital/glo
☀️ glo: grams (g) to pounds (lb) and ounces (oz) converter
caiofov/DataStructures-Oz
Data structures implemented in Oz
dankore/pounds_to_g_kg_oz_converter
Converts pounds to grams, kilograms and ounces
imimali/programming-paradigms
Stuff I do for the Programming Paradigms course
Marko19907/Programming-languages-assignments
Programming languages assignments, "Programming-languages" (TDT4165) course, fall 2023.
masmeert/mozart-docker
Mozart in a Docker container
mvanegas10/OZ-Tutorial
Mozart Oz Tutorial
yyysolhhh/oz-main_project-fe
cicd 테스트용