All Projects → tilk → libshift0

tilk / libshift0

Licence: other
Implementation of delimited control for C/C++

Programming Languages

C++
36643 projects - #6 most used programming language
assembly
5116 projects
c
50402 projects - #5 most used programming language

Projects that are alternatives of or similar to libshift0

bftkv
A distributed key-value storage that's tolerant to Byzantine fault.
Stars: ✭ 27 (+42.11%)
Mutual labels:  research
IACR-eprint-mirror
Mirror of all PDFs from the IACR's eprint
Stars: ✭ 44 (+131.58%)
Mutual labels:  research
hardware-attacks-state-of-the-art
Microarchitectural exploitation and other hardware attacks.
Stars: ✭ 29 (+52.63%)
Mutual labels:  research
CAM
macOS camera recording using ffmpeg
Stars: ✭ 43 (+126.32%)
Mutual labels:  research
lips
📘 Lisk improvement proposals
Stars: ✭ 61 (+221.05%)
Mutual labels:  research
cuda memtest
Fork of CUDA GPU memtest 👓
Stars: ✭ 68 (+257.89%)
Mutual labels:  research
adage
Data and code related to the paper "ADAGE-Based Integration of Publicly Available Pseudomonas aeruginosa..." Jie Tan, et al · mSystems · 2016
Stars: ✭ 61 (+221.05%)
Mutual labels:  research
laika
Experiments with satellite image data
Stars: ✭ 97 (+410.53%)
Mutual labels:  research
plasmidtron
Assembling the cause of phenotypes and genotypes from NGS data
Stars: ✭ 27 (+42.11%)
Mutual labels:  research
ocaml-multicont
multi-shot continuations in OCaml
Stars: ✭ 17 (-10.53%)
Mutual labels:  continuations
Awesome-Multi-Task-Learning
A list of multi-task learning papers and projects.
Stars: ✭ 230 (+1110.53%)
Mutual labels:  research
roguelike-universe
Understanding game design inspiration of roguelike games via web scraping and network analysis.
Stars: ✭ 17 (-10.53%)
Mutual labels:  research
cps-twinning
A Framework for Generating and Executing Digital Twins
Stars: ✭ 32 (+68.42%)
Mutual labels:  research
Mava
A library of multi-agent reinforcement learning components and systems
Stars: ✭ 355 (+1768.42%)
Mutual labels:  research
ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
Stars: ✭ 46 (+142.11%)
Mutual labels:  research
saffrontree
SaffronTree: Reference free rapid phylogenetic tree construction from raw read data
Stars: ✭ 17 (-10.53%)
Mutual labels:  research
Reproducibilty-Challenge-ECANET
Unofficial Implementation of ECANets (CVPR 2020) for the Reproducibility Challenge 2020.
Stars: ✭ 27 (+42.11%)
Mutual labels:  research
tiptoft
Predict plasmids from uncorrected long read data
Stars: ✭ 27 (+42.11%)
Mutual labels:  research
l2r
Open-source reinforcement learning environment for autonomous racing.
Stars: ✭ 38 (+100%)
Mutual labels:  research
Whitecomet-Research
Research on malware creation and protection
Stars: ✭ 62 (+226.32%)
Mutual labels:  research
libshift0, implementation of delimited control for C/C++

Copyright (c) 2011, Marek Materzok <[email protected]>

1. About

  This library implements the shift0/reset0 delimited control operators,
  as introduced by Danvy in Filinski, and as used in my ICFP 2011 paper.

2. Caveats

  The continuations created by this library are not reentrant, i.e.
  one cannot call the continuation inside the call to the same continuation.

  The implementation is somewhat incompatible with stack-allocated
  objects with custom destructors in C++.

  The core operators are implemented in x86 assembly and don't work on
  other hardware architectures.

3. Copyright notice

   1. Redistributions of source code must retain the above copyright notice, 
      this list of conditions and the following disclaimer.
   2. Redistributions in binary form must reproduce the above copyright 
      notice, this list of conditions and the following disclaimer in the 
      documentation and/or other materials provided with the distribution.
 
  The software is provided 'as is', without any warranty.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].