McNopper/Logic McNopper/Logic

  • Stars
    star
    1
  • Language
    C++
  • License
    Apache License 2.0
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
McNopper/Logic
github

McNopper

Reviews

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

Repository Details

A many-valued and temporal logic

More Repositories

1

OpenGL

OpenGL 3 and 4 with GLSL
C
2,356
star
2

GLUS

GLUS for OpenGL, OpenGL ES and OpenVG
C
171
star
3

OpenGL_ES

OpenGL ES 2.0, 3.0 and 3.1 with GLSL
C
171
star
4

GraphicsEngine

OpenGL 4 Graphics Engine
C
141
star
5

EGL

EGL 1.5 implementation for Windows and X11 supporting OpenGL.
C++
59
star
6

OpenVG

OpenVG 1.1
C
30
star
7

Meetup

My Munich Khronos Chapter Meeting presentations
2
star
8

NativeXR

Engine and examples for XR
1
star
9

TestProgram

Request, that c/∞ should be testable somehow in C/C++.
C++
1
star