4DA/shen-safevec 4DA/shen-safevec

  • Stars
    star
    1
  • Language
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
4DA/shen-safevec
github

4DA

Reviews

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

Repository Details

Bound-errors prone vectors implementation in Shen using dependent types

More Repositories

1

Unigine-legacy

Unigine engine version 0.2 from http://frustum.org hacked to compile with modern libs
C++
43
star
2

eshell-toggle

Show/hide eshell at the bottom of active window with directory of its buffer
Emacs Lisp
39
star
3

netupi

minimalistic time tracker with simple pomodoro timer
Rust
10
star
4

bleroma

Telegram bot for Pleroma and Mastodon
Elixir
8
star
5

kd-gud

emacs cdb-gud interface hacked to support kd.exe
Emacs Lisp
5
star
6

shen-native

native Shen implementation
C
4
star
7

simple-rasterizer

Simple triangle rasterizer and texture mapper
C++
2
star
8

glesv2-binary-shader

Hack to make simple-egl demo from wayland use binary shader. See run.sh for running
C
2
star
9

vector-slime-demo

Simple vector slime demo
C
1
star
10

brdfgen

BRDF generator
Julia
1
star
11

bnw-stats

bnw user graph & statistics
Racket
1
star
12

jrt

Path-tracing in Julia. BRDF pipeline is WIP.
Julia
1
star
13

emacs-stuff

My different emacs hacks and programs
Emacs Lisp
1
star
14

android-opencl-test

Simple OpenCL Android sample from Intel samples converted to use gradle for build system.
C++
1
star
15

binomial-CIs

Several methods of Confidence Intervals computation for binomial distribution
MATLAB
1
star
16

wimax-bsd

samsung uc-200 wimax driver for *BSD systems
C
1
star