I hereby claim:
- I am keveman on github.
- I am keveman (https://keybase.io/keveman) on keybase.
- I have a public key ASB03gqL5zVaMqPYEgnpURRX_GptvH_nE1MUOilG85Hj-Qo
To claim this, I am signing this object:
<div id="root"></div> |
#include <iostream> | |
#include <type_traits> | |
#include "peg.inl.h" | |
@meta void check_array(@meta const access &a) { | |
static_assert(std::is_array<decltype(@(a.tensor_name))>::value); | |
static_assert(std::rank<decltype(@(a.tensor_name))>::value == a.A.rows); | |
} | |
@macro void foo(const char* str) { |
#include <iostream> | |
#include "peg.inl.h" | |
@macro void foo(const char* str) { | |
@meta auto x = parse(str); | |
@meta x.dump(std::cout); | |
} | |
float W[32][16], x[32], y[16]; |
#include <assert.h> | |
#include <iostream> | |
#include <memory> | |
#include "peglib.h" | |
#include <vector> | |
#include <string> | |
struct matrix { |
const C = struct { | |
x : u16, | |
inline fn post_inc(self: *C) u16 { | |
const tmp = self.*.x; | |
self.*.x += 1; | |
return tmp; | |
} | |
}; |
def as_dot(g): | |
names = dict() | |
dot = "digraph {\n" | |
for op_id in sorted(g._nodes_by_id): | |
op = g._nodes_by_id[op_id] | |
parts = op.name.split("/") | |
n = names | |
for p in parts: | |
if p not in n: | |
n[p] = dict() |
I hereby claim:
To claim this, I am signing this object:
#include <iostream> | |
template<int N> struct Int { }; | |
auto church(Int<0>) { | |
return [](auto f) { | |
return [=](auto x) { return x; }; | |
}; | |
} |
import snakes.plugins | |
snakes.plugins.load('gv', 'snakes.nets', 'nets') | |
from nets import * | |
n = PetriNet('pn') | |
n.add_place(Place('p1', [1,2])) | |
n.add_place(Place('p2')) | |
n.add_place(Place('p3')) | |
n.add_place(Place('p4_i')) |
#include <iterator> | |
#include <algorithm> | |
#include <vector> | |
#include <map> | |
#include <set> | |
#include <iostream> | |
#include <cassert> | |
#include <memory> | |
#include <future> | |
#include <chrono> |