amal029/jop amal029/jop

  • Stars
    star
    27
  • Rank 888,090 (Top 18 %)
  • Language
    Java
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amal029/jop
github

amal029

Reviews

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

Repository Details

Instrumented Java Optimized processor

More Repositories

1

st

IEC-61131-3 Structured text parser
OCaml
17
star
2

Cgals

Programming language for safety critical and real-time systems
OCaml
7
star
3

poly

Poly language
OCaml
3
star
4

ocaml-gxl-light

A Ocaml library for parsing and manipulating GXL files
OCaml
3
star
5

eha

A python implementation of event based Hybrid Automata simulation framework.
Python
3
star
6

satscheme

A SAT solver written in scheme
Scheme
2
star
7

lib-metis

Ocaml bindings to Metis graph partitoning library
C
2
star
8

idris-data-structures

Data structures implemented in Idris
Idris
1
star
9

sched_smt_ilp

Scheduling task graphs -- SMT vs ILP formulation comparisons
OCaml
1
star
10

Stream2MC

Compiling stream graphs to model-checkers, ILP, and heuristic algorithms
Java
1
star
11

agda-tutorial-dybjer

Learning agda properly
Agda
1
star