strega-nil/tapl-re strega-nil/tapl-re

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
strega-nil/tapl-re
github

strega-nil

Reviews

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

Repository Details

Types and programming languages in reason

More Repositories

1

stregaml

Experimenting with a language implementation in ocaml
OCaml
33
star
2

cafe-rs

café, a systems language
Rust
18
star
3

vcpkg-example

Example code
CMake
10
star
4

garnet

Garnet is a Gemini client
Rust
7
star
5

typeval

`typeval` test library, intended to be used as a stop-gap for constexpr parameters
C++
5
star
6

modern-c

4
star
7

ast-variants

playing around with variants in C++
C++
3
star
8

style

Rust style guide
3
star
9

pred

OCaml standard library extension
OCaml
3
star
10

test-vcpkg-registry

this is a test git vcpkg registry
CMake
3
star
11

pinklib

Tests for Café's standard library
C++
2
star
12

libAlgebra

Algebra library that includes (so far) matrices, and fractions
C
2
star
13

cmake

CMake build system
C
2
star
14

resume

My resume
TeX
2
star
15

lambda

Lambda calculus written in C++
C++
2
star
16

asm-string

string library written in assembler
Assembly
2
star
17

io-yasm

A library for input/output in yasm.
Assembly
1
star
18

reason-ct64k

Me playing with reasonml, by doing ct64k stuff
OCaml
1
star
19

ublib

Library for ubsan's utility code
C++
1
star
20

SciCalcRPN

Scientific RPN based calculator
C
1
star
21

polyvoid

containers in C using void* polymorphism, because I hate myself
C
1
star
22

variant

A C++ Algebraic Data Type
C++
1
star
23

nm_malloc

My own personal malloc
C
1
star