schicks

schicks

import {Record, String, Number, Runtype, Lazy, Array} from 'runtypes'

const noAdditionalProperties = <
    T, 
    R extends Runtype<T>
>(rt: R) => (t: T): boolean | string => {
    const reflected = rt.reflect
    switch (reflected.tag) {
        case 'record': {
            return Object.entries(t).every(([key, value]) => {

schicks

from .schemas import HealthCheckModel, HealthCheckDict

@app.get("/health-check", response_model=HealthCheckModel) # FastAPI uses pydantic version
async def healthcheck() -> HealthCheckDict: # route annotated with TypedDict version for static validation
    return {'status': 'ok'}

schicks

{
  "$schema": "https://vega.github.io/schema/vega/v5.json",
  "description": "A node-link diagram with force-directed layout, depicting character co-occurrence in the novel Les Misérables.",
  "width": 700,
  "height": 500,
  "padding": 0,
  "autosize": "none",

  "signals": [
    { "name": "cx", "update": "width / 2" },

schicks

effect leq<a> {
    fun leq(first: a, second: a) : bool
}

fun for(
    from: a, 
    incr: a -> <div,leq<a>|e> a, 
    to: a, 
    do: () -> <div,leq<a>|e> ()
) : <div,leq<a>|e> () {

schicks

license: gpl-3.0

schicks

license: gpl-3.0

schicks

  // Available variables:
  // - Machine
  // - interpret
  // - assign
  // - send
  // - sendParent
  // - spawn
  // - raise
  // - actions

schicks

  // Available variables:
  // - Machine
  // - interpret
  // - assign
  // - send
  // - sendParent
  // - spawn
  // - raise
  // - actions

schicks

polars
jupyter
numpy
pyarrow
pandas
altair