agrif agrif

agrif / 00051.json

Created August 18, 2020 16:48

agrif / 00016.json

Created August 18, 2020 16:20

agrif / 00016.json

Created August 18, 2020 16:03

This file has been truncated, but you can view the full file.

agrif / 00001.json

Created August 18, 2020 15:24

agrif / 00266.json

Created August 18, 2020 15:08

agrif / 00210.json

Created August 18, 2020 15:07

agrif / 00386.json

Created August 18, 2020 14:52

agrif / binfunc.py

Created July 22, 2020 19:29

	import numpy
	import itertools


	class BinFunc:
	"""Binary functions, represented as a truth table. This lets us
	compare binary functions, and build sets of binary functions. Normal
	Python functions don't let us do that.
	"""
	def __init__(self, table):

agrif / main.rs

Created July 14, 2020 12:21

	zero_ref_mut!(FOO, u32);

	fn main() {
	let mut val: u32 = 2;

	// initialize static FOO
	// fzero acts like a MutexHandle
	// while it's in scope, FOO is used to store &mut val
	let mut fzero = FOO.claim(&mut val).unwrap();

agrif / main.rs

Created July 12, 2020 03:01

	#![no_std]
	#![no_main]
	#![feature(never_type)]
	#![feature(unwrap_infallible)]
	#![feature(arbitrary_self_types)]
	#![feature(alloc_error_handler)]
	// unfortunately new asm doesn't let you set stack pointer...
	#![feature(llvm_asm)]

	#[macro_use]