Cypooos/CythanLambdaCalcul Cypooos/CythanLambdaCalcul

  • Stars
    star
    1
  • Language
    OCaml
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Cypooos/CythanLambdaCalcul
github

Cypooos

Reviews

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

Repository Details

Ceci était la tentative d'implémentation de la machine de Cythan en tant que fonction de lambda calcul typé, ici on a utilisé ocaml pour vérifier la cohérence.

More Repositories

1

GenOS

an operating system based on PHIL'S tutorial, it has the goal of proposing a different way of storing data, inspired by set theory
Rust
3
star
2

TwitterRulesGenerator

An old AI (deep learning) that generate "rules" to the internet and published them on twitter.
Python
2
star
3

Recaml

A simple programming language inspired by Ocaml, based on non-typed lambda calculi.
Python
2
star
4

3D-python-renderer

A 3D python hyperbolic renderer
Python
2
star
5

PythonWavegen

Old (and deprecated) project to generate .wav files from python instruments.
Python
2
star
6

esianolop

A stack-based programming language made in senior year of high school in rust
Rust
1
star
7

fez_mech

A data pack for the fez map
mcfunction
1
star
8

Choke-old

C++
1
star