acowley/LinearLogic acowley/LinearLogic

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Coq
  • Created about 12 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acowley/LinearLogic
github

acowley

Reviews

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

Repository Details

A simple development of linear logic in Coq.

More Repositories

1

Frames

Data frames for tabular data.
Haskell
296
star
2

roshask

Haskell client library for the ROS robotics framework.
Haskell
107
star
3

ffmpeg-light

Minimal Haskell bindings to the FFmpeg library
Haskell
66
star
4

GLUtil

Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.
Haskell
40
star
5

cabbage

A tool for caching cabal builds in a Nix store
Shell
33
star
6

vinyl-gl

Utilities for working with OpenGL's GLSL shading language and vinyl records.
Haskell
30
star
7

dotfiles

Configuration files (.emacs)
Nix
22
star
8

ros2nix

Use ROS with the Nix package manager
Nix
17
star
9

concurrent-machines

Concurrency features for the Haskell machines package
Haskell
17
star
10

wgsl-mode

Emacs syntax highlighting for the WebGPU Shading Language (WGSL)
Emacs Lisp
17
star
11

hpp

hpp - A Haskell Preprocessor
Haskell
9
star
12

BostonHaskell2015

[Talk] Framing the Discussion with EDSLs
Haskell
9
star
13

MetaPragma

LANGUAGE pragma collections for GHC
Haskell
8
star
14

yaml-light-lens

Lenses for working with YAML data.
Haskell
8
star
15

NotesExporter

Export OS X and iOS Notes.app notes to plain text files.
Haskell
7
star
16

pcd-loader

Haskell library for loading PCD files containing point cloud data.
Haskell
6
star
17

CLUtil

Thin abstraction layer over the Haskell OpenCL library.
Haskell
6
star
18

RANSAC

Haskell implementation of the RANSAC algorithm.
Haskell
6
star
19

EasyAudio

A very basic audio playback library leveraging SDL2.
Haskell
5
star
20

emacs-lsp-booster-nix

Nix flake for the emacs-lsp-booster program
Nix
5
star
21

wgsl-ts-mode

WGSL tree-sitter support for emacs
Emacs Lisp
4
star
22

language-c

Temporary fixes for language-c to support OS X 10.9
Haskell
4
star
23

RandomizedClustering

Randomized clustering of multidimensional data, with an application to image segmentation.
C++
3
star
24

summarizer

Very simple text summarization
Haskell
3
star
25

StorableMonad

Small helper for defining Foreign.Storable instances.
Haskell
3
star
26

Frames-dsv

Support library for using `hw-dsv` to parse CSV files for the `Frames` Haskell data frames library
Haskell
2
star
27

DistanceTransform

Parallel linear time n-dimensional Euclidean distance transform.
Haskell
2
star
28

NYHUG

Content generated for the New York Haskell Users Group
2
star
29

ply-loader

Haskell library for loading PLY files containing 3D geometry information.
Haskell
2
star
30

PcdViewer

Viewer for PCD point clouds and depth map generation.
Haskell
2
star
31

Dogleg

Haskell implementation of Powell's "dogleg" nonlinear optimization algorithm.
Haskell
2
star
32

PointCloudViewer

OpenGL point cloud viewer.
Haskell
2
star
33

BinaryCookies

Library for parsing the `.binarycookies` files used by OS X and iOS.
Haskell
2
star
34

dict-lookup.el

Emacs interface to the `dict` dictionary client
Emacs Lisp
1
star
35

wgpu-image-read

Rust
1
star
36

cabal-config

Hacky extraction of linker flags to aid building without GHC invoking the linker.
Haskell
1
star
37

PointConverters

Conversion utilities for point geometry formats.
Haskell
1
star
38

haskell-src-edit

Haskell
1
star
39

divergent

Diverging Color Maps for Scientific Visualization
C++
1
star
40

vector-aligned

Storable vectors aligned at specified boundaries.
Haskell
1
star
41

ExifRenamer

Rename image files based on their original capture date and time.
Haskell
1
star
42

cparens

Fully parenthesize a C expression read from stdin, write the output to stdout
Haskell
1
star
43

pip2nix

A mini generator of Nix derivations from pip-compatible requirements
Python
1
star
44

fixed-linear

Haskell bridge between lthe linear and fixed-vector packages.
Haskell
1
star