noti0na1/Kripke-Models

Stars
6
Rank 2,493,694 (Top 50 %)
Language
Racket
License
GNU General Publi...
Created about 7 years ago
Updated about 7 years ago

noti0na1/Kripke-Models

noti0na1

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

A Racket Implement of Kripke Models

socc

Simple C Compiler in OCaml

LambdaCalculus-java

Lambda calculus implemented in Java

GADTFormat

Type-safe Format using GADT in OCaml

Faux-Racket

A Monadic Interpreter for Faux Racket written in Haskell

Racket-Codes

A Collection of My Racket Code

HFSN

Simple Java Http File Server

CodeTranslator

A Code Translator for C8, CS146

EncryptedLauncher

An Encrypted Java Launcher

clojure-learn

TranslationPendant

A Translation Pendant