Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by zoep

A curated list of projects in awesome lists by zoep .

https://github.com/zoep/jebus

The Jebus Lambda Calculus Interpreter

Last synced: 24 Oct 2024

https://github.com/zoep/lazyocaml

Lazyness in Ocaml with Syntax Extensions

Last synced: 24 Oct 2024

https://github.com/zoep/safe-for-space

Formal proof that closure conversion with flat environments is safe for space.

closure-conversion coq proof

Last synced: 29 Oct 2024

https://github.com/zoep/cute-homework

Concolic testing for C programs

Last synced: 29 Oct 2024

https://github.com/zoep/ai_project1

AI project implemented in Haskell

Last synced: 29 Oct 2024

https://github.com/zoep/bobcat

simple java servlets for ntua web applications course

Last synced: 29 Oct 2024

https://github.com/zoep/comparch

Last synced: 29 Oct 2024

https://github.com/zoep/zoep.github.io

personal webpage

Last synced: 29 Oct 2024

https://github.com/zoep/euler-lib

Complementary Library for Project Euler

Last synced: 29 Oct 2024

https://github.com/zoep/pl2

Course Material for "Programming Languages II"

Last synced: 07 Nov 2024