jmlowenthal/staged-streams.agda jmlowenthal/staged-streams.agda

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jmlowenthal/staged-streams.agda
github

jmlowenthal

Reviews

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

Repository Details

An implementation of the staged Strymonas streams library in Agda for C

More Repositories

1

agda-c

Verified C programming in Agda
Agda
16
star
2

idslib

A simple library to integrate IDS cameras into OpenCV
C++
8
star
3

dokuwiki-katex

DokuWiki plugin - protects LaTeX math, then parses with KaTeX
PHP
2
star
4

lidar-vision

Building detection in LIDAR data using OpenCV
C++
1
star
5

hivemind

Simple illustration of collective intelligence
C++
1
star
6

routr

A hackathon game about firewalls and networking. Built at Hack Cambridge 101.
TypeScript
1
star
7

survey

Pathfinding and route-planning utilities for drone-based area surveying
C++
1
star