amal029/idris-data-structures amal029/idris-data-structures

  • Stars
    star
    1
  • Language Idris
  • License
    MIT License
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amal029/idris-data-structures
github

amal029

Reviews

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

Repository Details

Data structures implemented in Idris

More Repositories

1

jop

Instrumented Java Optimized processor
Java
28
star
2

st

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

Cgals

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

poly

Poly language
OCaml
3
star
5

ocaml-gxl-light

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

eha

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

satscheme

A SAT solver written in scheme
Scheme
2
star
8

lib-metis

Ocaml bindings to Metis graph partitoning library
C
2
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