takahisa/featherweight-java takahisa/featherweight-java

  • Stars
    star
    13
  • Rank 1,479,394 (Top 30 %)
  • Language
    OCaml
  • License
    MIT License
  • Created almost 10 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
takahisa/featherweight-java
github

takahisa

Reviews

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

Repository Details

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

More Repositories

1

parseq

monadic parser combinator library for C#
C#
60
star
2

finale

Invertible syntax for OCaml
OCaml
30
star
3

chibisat

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
OCaml
5
star
4

chibiml

ML interpreter/compiler
OCaml
1
star
5

dotfiles

@takahisa's dotfiles
Emacs Lisp
1
star