PosledniAmir's repositories

funcl

Persistent data structures for Common Lisp

Language:Common LispLicense:MITStargazers:2Issues:0Issues:0

NewTools

All development tools for Pharo, developed with Spec

Language:SmalltalkStargazers:0Issues:0Issues:0

pharo

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

License:NOASSERTIONStargazers:0Issues:0Issues:0

tiny-systems-amir

For the course https://d3s.mff.cuni.cz/teaching/nprg077/

Language:Common LispLicense:MITStargazers:0Issues:0Issues:0

formula2cnf

homework for SAT lecture

Language:C#Stargazers:0Issues:0Issues:0