takahisa/featherweight-java takahisa/featherweight-java

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 10 years ago
  • Updated almost 6 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#
61
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