Skip to content

Instantly share code, notes, and snippets.

View boborbt's full-sized avatar

Roberto Esposito boborbt

View GitHub Profile
// Example of how to build a propositional logic
// reasoner in swift.
typealias VarIndex = Int
typealias TruthValue = Bool
typealias Env = [VarIndex : TruthValue]
typealias Expr = (Env) -> TruthValue
//
// DayCellView.swift
// T-Shifts
//
// Created by Roberto Esposito on 09/02/2017.
// Copyright © 2017 Roberto Esposito. All rights reserved.
//
import Foundation
import JTAppleCalendar
<div class="checkbox checkbox-creative float-left">
<label>
<input type="checkbox" name="sezione[]" value="2">
<span class="checkbox-item">
<span class="check">
</span></span> &nbsp;
</label><label>
<input type="checkbox" name="sezione[]" value="3">
<span class="checkbox-item"><span class="check">
</span></span> &nbsp; </label>
import tensorflow as tf
from tensorflow.keras.layers import Input
from tensorflow.keras.layers import Dense
from tensorflow.keras.models import Model
import numpy as np
import matplotlib.pyplot as plt
import tensorflow.keras.backend as K
x = Input(shape=[5])
h = Dense(10)(x)