- Committer: Jean-Vincent Loddo
- Date: 2020-07-10 19:28:28 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20200710192828-iy2ottrbt6c6fa8r
In module Channel, added tools (`reactive_image', `reactive_minion') simply derived from the fundamental ones (`map', `product', `cover') to show the ability of channels to program in a reactive style, remaining compliant with the OCaml garbage collection.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
arrayTk.ml |
560 | 3 years ago | Jean-Vincent Loddo | Whole library adapted to OCaml versions 4.04.2, 4. | 38.2 KB |
|
|
|
arrayTk.mli |
488 | 4 years ago | Jean-Vincent Loddo | Minor changes in several files (mainly addition of | 9.3 KB |
|
|
|
bit.ml |
119 | 14 years ago | jean | Added a module Bit for simple bit-list from/to int | 3.4 KB |
|
|
|
bit.mli |
119 | 14 years ago | jean | Added a module Bit for simple bit-list from/to int | 1.1 KB |
|
|
|
bitmasks.ml |
477 | 4 years ago | Jean-Vincent Loddo | Added the module Range implementing a kind of "del | 5.8 KB |
|
|
|
bitmasks.mli |
477 | 4 years ago | Jean-Vincent Loddo | Added the module Range implementing a kind of "del | 2.3 KB |
|
|
|
bitmmasks.ml |
489 | 4 years ago | Jean-Vincent Loddo | Minor changes to avoid annoying warnings about dep | 5.1 KB |
|
|
|
bitmmasks.mli |
477 | 4 years ago | Jean-Vincent Loddo | Added the module Range implementing a kind of "del | 3.1 KB |
|
|
|
cache.ml |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 1.3 KB |
|
|
|
cache.mli |
155 | 13 years ago | Jean-Vincent Loddo | Added modules Cloakroom and Cache. | 1.6 KB |
|
|
|
cloakroom.ml |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 4 KB |
|
|
|
cloakroom.mli |
353 | 11 years ago | Jean-Vincent Loddo | Improved ThreadExtra in order to have two addition | 1.9 KB |
|
|
|
container.ml |
353 | 11 years ago | Jean-Vincent Loddo | Improved ThreadExtra in order to have two addition | 3.3 KB |
|
|
|
container.mli |
353 | 11 years ago | Jean-Vincent Loddo | Improved ThreadExtra in order to have two addition | 4 KB |
|
|
|
cortex.ml |
517 | 3 years ago | Jean-Vincent Loddo | Minor changes in Cortex | 75.8 KB |
|
|
|
cortex.mli |
517 | 3 years ago | Jean-Vincent Loddo | Minor changes in Cortex | 17.6 KB |
|
|
|
cortex_lib.ml |
435 | 7 years ago | Jean-Vincent Loddo | Simplified code of function Cortex.guarded_eval | 14.3 KB |
|
|
|
cortex_lib.mli |
435 | 7 years ago | Jean-Vincent Loddo | Simplified code of function Cortex.guarded_eval | 5 KB |
|
|
|
counter.ml |
317 | 11 years ago | Jean-Vincent Loddo | Added the method get_next_fresh_value to the class | 2.6 KB |
|
|
|
counter.mli |
317 | 11 years ago | Jean-Vincent Loddo | Added the method get_next_fresh_value to the class | 1.9 KB |
|
|
|
default.ml |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 1.8 KB |
|
|
|
default.mli |
171 | 13 years ago | Jean-Vincent Loddo | Default functor modified in order to support threa | 1.2 KB |
|
|
|
directory_tree.ml |
543 | 3 years ago | Jean-Vincent Loddo | In module Directory_tree, added the possibility to | 11.9 KB |
|
|
|
directory_tree.mli |
543 | 3 years ago | Jean-Vincent Loddo | In module Directory_tree, added the possibility to | 5.7 KB |
|
|
|
egg.ml |
499 | 4 years ago | Jean-Vincent Loddo | Added support for "forking futures" in the module | 2.6 KB |
|
|
|
egg.mli |
436 | 7 years ago | Jean-Vincent Loddo | Added module Lock implementing a lock algebra. Fin | 2.1 KB |
|
|
|
either.ml |
554 | 3 years ago | Jean-Vincent Loddo | Sixth satisfactory version (until the next) of alg | 3.5 KB |
|
|
|
either.mli |
554 | 3 years ago | Jean-Vincent Loddo | Sixth satisfactory version (until the next) of alg | 3 KB |
|
|
|
endpoint.ml |
558 | 3 years ago | Jean-Vincent Loddo | Minor but several changes to render Ocamlbrics com | 12.7 KB |
|
|
|
endpoint.mli |
396 | 9 years ago | Jean-Vincent Loddo | Added functions ArrayExtra.sub, StringExtra.rm and | 5.8 KB |
|
|
|
extreme_sharing.ml |
544 | 3 years ago | Jean-Vincent Loddo | In module Extreme_sharing, added optional paramete | 7.8 KB |
|
|
|
extreme_sharing.mli |
544 | 3 years ago | Jean-Vincent Loddo | In module Extreme_sharing, added optional paramete | 11.1 KB |
|
|
|
forest.ml |
388 | 10 years ago | Jean-Vincent Loddo | Added in Linux.Process a quite sophisticated funct | 14.6 KB |
|
|
|
forest.mli |
387 | 10 years ago | Jean-Vincent Loddo | Major changes and additions in the module Forest. | 3.5 KB |
|
|
|
functor.ml |
329 | 11 years ago | Jean-Vincent Loddo | Added module Functor implementing some general ope | 2.9 KB |
|
|
|
functor.mli |
329 | 11 years ago | Jean-Vincent Loddo | Added module Functor implementing some general ope | 1.7 KB |
|
|
|
future.ml |
558 | 3 years ago | Jean-Vincent Loddo | Minor but several changes to render Ocamlbrics com | 16.8 KB |
|
|
|
future.mli |
499 | 4 years ago | Jean-Vincent Loddo | Added support for "forking futures" in the module | 7.8 KB |
|
|
|
hashmap.ml |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 4 KB |
|
|
|
hashmap.mli |
92 | 15 years ago | jean | Added license header to some .mli | 1.8 KB |
|
|
|
hashmmap.ml |
452 | 6 years ago | Jean-Vincent Loddo | Minor change in the semantics of module Hashmmap. | 6.2 KB |
|
|
|
hashmmap.mli |
90 | 15 years ago | jean | Added interfaces for hash-related structures | 2.2 KB |
|
|
|
hashmset.ml |
531 | 3 years ago | Jean-Vincent Loddo | Added optional parameter identifier:('a -> int) fo | 3.4 KB |
|
|
|
hashmset.mli |
531 | 3 years ago | Jean-Vincent Loddo | Added optional parameter identifier:('a -> int) fo | 2.3 KB |
|
|
|
hashset.ml |
531 | 3 years ago | Jean-Vincent Loddo | Added optional parameter identifier:('a -> int) fo | 4 KB |
|
|
|
hashset.mli |
531 | 3 years ago | Jean-Vincent Loddo | Added optional parameter identifier:('a -> int) fo | 2.7 KB |
|
|
|
hDag.ml |
488 | 4 years ago | Jean-Vincent Loddo | Minor changes in several files (mainly addition of | 39.5 KB |
|
|
|
hDag.mli |
488 | 4 years ago | Jean-Vincent Loddo | Minor changes in several files (mainly addition of | 16 KB |
|
|
|
ind.ml |
509 | 4 years ago | Jean-Vincent Loddo | Modules Hashset and Hashmset generalized to weak t | 71.8 KB |
|
|
|
ind.mli |
488 | 4 years ago | Jean-Vincent Loddo | Minor changes in several files (mainly addition of | 20.1 KB |
|
|
|
ipv4.ml |
504 | 4 years ago | Jean-Vincent Loddo | Module Network refactored and simplified. Also, ad | 8.9 KB |
|
|
|
ipv4.mli |
504 | 4 years ago | Jean-Vincent Loddo | Module Network refactored and simplified. Also, ad | 2.7 KB |
|
|
|
ipv6.ml |
504 | 4 years ago | Jean-Vincent Loddo | Module Network refactored and simplified. Also, ad | 7.6 KB |
|
|
|
ipv6.mli |
504 | 4 years ago | Jean-Vincent Loddo | Module Network refactored and simplified. Also, ad | 2.4 KB |
|
|
|
lazy_perishable.ml |
514 | 3 years ago | Jean-Vincent Loddo | Added several functions in ListExtra and StringExt | 1.6 KB |
|
|
|
lazy_perishable.mli |
514 | 3 years ago | Jean-Vincent Loddo | Added several functions in ListExtra and StringExt | 1.1 KB |
|
|
|
loop.ml |
472 | 4 years ago | Jean-Vincent Loddo | Added function Loop.selections to iterate over som | 39.3 KB |
|
|
|
loop.mli |
494 | 4 years ago | Jean-Vincent Loddo | Added a simple quick-and-dirty script for testing | 20 KB |
|
|
|
memo.ml |
515 | 3 years ago | Jean-Vincent Loddo | Module extreme_sharing.ml (hash consing) refactore | 9.2 KB |
|
|
|
memo.mli |
488 | 4 years ago | Jean-Vincent Loddo | Minor changes in several files (mainly addition of | 4.1 KB |
|
|
|
multimap.ml |
560 | 3 years ago | Jean-Vincent Loddo | Whole library adapted to OCaml versions 4.04.2, 4. | 4.1 KB |
|
|
|
multimap.mli |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 3.1 KB |
|
|
|
network.ml |
560 | 3 years ago | Jean-Vincent Loddo | Whole library adapted to OCaml versions 4.04.2, 4. | 52.9 KB |
|
|
|
network.mli |
505 | 4 years ago | Jean-Vincent Loddo | Applied to the Pts module a workaround for a bug o | 17.2 KB |
|
|
|
option.ml |
559 | 3 years ago | Jean-Vincent Loddo | Minor changes in several modules | 5.1 KB |
|
|
|
option.mli |
559 | 3 years ago | Jean-Vincent Loddo | Minor changes in several modules | 4 KB |
|
|
|
permutation.ml |
560 | 3 years ago | Jean-Vincent Loddo | Whole library adapted to OCaml versions 4.04.2, 4. | 13.4 KB |
|
|
|
permutation.mli |
470 | 5 years ago | Jean-Vincent Loddo | Added function Permutation.priorities to define so | 5.1 KB |
|
|
|
pred.ml |
514 | 3 years ago | Jean-Vincent Loddo | Added several functions in ListExtra and StringExt | 2.2 KB |
|
|
|
pred.mli |
514 | 3 years ago | Jean-Vincent Loddo | Added several functions in ListExtra and StringExt | 1.8 KB |
|
|
|
range.ml |
558 | 3 years ago | Jean-Vincent Loddo | Minor but several changes to render Ocamlbrics com | 95.3 KB |
|
|
|
range.mli |
477 | 4 years ago | Jean-Vincent Loddo | Added the module Range implementing a kind of "del | 23.9 KB |
|
|
|
rev.ml |
99 | 14 years ago | jean | Added license headers to rev.ml{,i} | 3.2 KB |
|
|
|
rev.mli |
99 | 14 years ago | jean | Added license headers to rev.ml{,i} | 1.6 KB |
|
|
|
selections.ml |
515 | 3 years ago | Jean-Vincent Loddo | Module extreme_sharing.ml (hash consing) refactore | 20.1 KB |
|
|
|
selections.mli |
481 | 4 years ago | Jean-Vincent Loddo | Added some tools related to bi-partitions in the m | 7.7 KB |
|
|
|
semaphore.ml |
354 | 11 years ago | Jean-Vincent Loddo | Bug fixed in Semaphore: processes are now correctl | 6.8 KB |
|
|
|
semaphore.mli |
272 | 12 years ago | Jean-Vincent Loddo | Added a disjonctive version of Semaphore.Array. In | 1.8 KB |
|
|
|
sexpr.ml |
547 | 3 years ago | Jean-Vincent Loddo | Forth satisfactory version of algebraic channels: | 19.8 KB |
|
|
|
sexpr.mli |
547 | 3 years ago | Jean-Vincent Loddo | Forth satisfactory version of algebraic channels: | 12.8 KB |
|
|
|
sowide.ml |
533 | 3 years ago | Jean-Vincent Loddo | In module Sexpr removed the function `return' from | 12.7 KB |
|
|
|
sowide.mli |
533 | 3 years ago | Jean-Vincent Loddo | In module Sexpr removed the function `return' from | 6.7 KB |
|
|
|
stateful_modules.ml |
319 | 11 years ago | Jean-Vincent Loddo | Added the module Argv, an high-level impure but co | 3.4 KB |
|
|
|
stateful_modules.mli |
279 | 12 years ago | Jean-Vincent Loddo | Added module Stateful_modules.Process_private_thre | 1.9 KB |
|
|
|
string_queue.ml |
558 | 3 years ago | Jean-Vincent Loddo | Minor but several changes to render Ocamlbrics com | 5 KB |
|
|
|
string_queue.mli |
558 | 3 years ago | Jean-Vincent Loddo | Minor but several changes to render Ocamlbrics com | 1.7 KB |
|
|
|
table.ml |
545 | 3 years ago | Jean-Vincent Loddo | In module Table, added the possibility to change t | 7.1 KB |
|
|
|
table.mli |
531 | 3 years ago | Jean-Vincent Loddo | Added optional parameter identifier:('a -> int) fo | 3.4 KB |
|
|
|
thunk.ml |
442 | 6 years ago | Jean-Vincent Loddo | Locks with generalized (compositional) products | 9.1 KB |
|
|
|
thunk.mli |
442 | 6 years ago | Jean-Vincent Loddo | Locks with generalized (compositional) products | 4.5 KB |
|
|