Gianfrancoalongi/CTL-model-checker

Stars
2
Language
Haskell
Created over 13 years ago
Updated over 13 years ago

Gianfrancoalongi/CTL-model-checker

Gianfrancoalongi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Computational Tree Logic Model checker from the University years

incremental_katas

Katas that are delivered incrementally - the full problem is not displayed at once, it is revealed when one part is done

TDD-Exercises

Exercises for anyone, with my proposed solution

WorkerNet

WorkerNet source from the TDD hands on series

erlang_antipatterns

Musings an ideas regarding commonly observed erlang antipatterns.

APLUnit

APLUnit - a library to facilitate Unit Testing and Test Driven Development of code written in Dyalog APL, developed together with Morten Kromberg (CTO Dyalog Ltd)

Frame-Axiom----Erlang-Run-Time-Diff-Tool-

Did my stuff change anything? Unless stated, it should not. Frame Axiom to the rescue.

awk_practice

awk practice system

apl_course

An inductive APL course that takes you through several Small Programs

Obfuscated-C-code-Tank-

A for fun program I made in C

apl-timebooking

APL Time Booking project - first APL project!

Katas

Katas Performed Using Different Languages

murenzhuang

Mu Ren Zhuang is an exercise form to practice Code Flexibility - something I have not seen before

Feed-Forward-NN

The ANN I wrote lib I used in a class about machine learning

Haskell-Rasterizer

A crude Haskell Rasterizer using HGL

sed_by_example

sed repository with several use-cases and examples

Lambda-Reduction-Machine

A crude Lisp implementation of a Lambda reducer

Weasleyclock

The Weasleyclock as seen in Harry Potter

Audit-Collector---A-real-time-version-of-Frame-Axiom

Based on erlang:trace and the idea from Frame Axiom, this continuous time diff tool intends making testing of side effecting code easier

BoidModel

A Java Boids Model to play with

bash_by_example

Teaching bash by small isolated examples, together with one example of how to build a small service

wx-graphics

Wx graphics toy