bigs
/ 0001-fix-zaya-streaming-tool-parser.patch
Created
May 8, 2026 21:28
ZAYA vLLM patches: streaming tool parser fix and explicit head_dim support
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/tests/tool_parsers/test_zaya_tool_parser.py b/tests/tool_parsers/test_zaya_tool_parser.py | |
| new file mode 100644 | |
| index 000000000..6a7f9a942 | |
| --- /dev/null | |
| +++ b/tests/tool_parsers/test_zaya_tool_parser.py | |
| @@ -0,0 +1,104 @@ | |
| +# SPDX-License-Identifier: Apache-2.0 | |
| +# SPDX-FileCopyrightText: Copyright contributors to the vLLM project | |
| + | |
| +import json |
bigs
/ async_iterator.ts
Created
April 12, 2023 20:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| const CHUNK_SIZE = 50; | |
| class FetchUsers implements AsyncIterable<string> { | |
| #users: string[]; | |
| #chunk: number; | |
| constructor() { | |
| this.#chunk = 0; | |
| this.#users = []; | |
| } |
bigs
/ antehandler.patch
Created
April 26, 2022 19:26
A quick attempt at an `AnteHandler` based approach to enforcing code size limits based on a param
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/x/wasm/alias.go b/x/wasm/alias.go | |
| index 610ce97..3e32935 100644 | |
| --- a/x/wasm/alias.go | |
| +++ b/x/wasm/alias.go | |
| @@ -17,7 +17,6 @@ const ( | |
| TStoreKey = types.TStoreKey | |
| QuerierRoute = types.QuerierRoute | |
| RouterKey = types.RouterKey | |
| - MaxWasmSize = types.MaxWasmSize | |
| MaxLabelSize = types.MaxLabelSize |
bigs
/ Arity.idr
Created
August 27, 2020 14:32
Idris implementation of nmap from https://www.seas.upenn.edu/~sweirich/papers/aritygen.pdf
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Arity | |
| import Data.Vect | |
| export | |
| repeat : {n : Nat} -> a -> Vect n a | |
| repeat {n = 0} _ = [] | |
| repeat {n = S n} x = x :: repeat {n} x | |
| export |
bigs
/ FFIExample.idr
Last active
August 19, 2020 22:38
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module FFIExample | |
| import System.FFI | |
| -- System info helpers | |
| export | |
| %foreign "C:int_size_bytes,shim" | |
| prim_int_size_bytes : Int |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Libgit.Git | |
| import Control.Monad.Reader | |
| ||| An abstract token representing the initialized libgit2 state. Its | |
| ||| constructor is purposefully not exported, a context can only be created | |
| ||| via `runGitT`. | |
| export | |
| data GitContext : (i : Type) -> Type where | |
| MkGitContext : GitContext i |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Adder | |
| AdderType : Nat -> Type | |
| AdderType 0 = Int | |
| AdderType (S k) = Int -> AdderType k | |
| adder : {n : Nat} -> {default 0 acc : Int} -> AdderType n | |
| adder {n=Z} {acc} = acc | |
| adder {n=S k} {acc} = \x => adder {n=k} {acc=acc + x} |
bigs
/ IndexedTypes.idr
Created
August 13, 2020 20:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module IndexedTypes | |
| data Foo i = MkFoo | |
| data FooInt i = MkFooInt Integer | |
| mkFooInt : Foo i -> Integer -> FooInt i | |
| mkFooInt _ = MkFooInt | |
| addFoos : Foo i -> FooInt i -> FooInt i -> FooInt i | |
| addFoos f (MkFooInt x) (MkFooInt y) = mkFooInt f (x + y) |
bigs
/ Matrix.idr
Created
August 13, 2020 04:59
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Data.Matrix | |
| Matrix : (m: Nat) -> (n: Nat) -> (a: Type) -> Type | |
| Matrix m n a = Vect m (Vect n a) | |
| madd : Num a => {n : _} -> Matrix m n a -> Matrix m n a -> Matrix m n a | |
| madd [] [] = [] | |
| madd (x :: xs) (y :: ys) = vadd {n=n} x y :: madd xs ys | |
| where | |
| vadd : {n : _} -> Vect n a -> Vect n a -> Vect n a |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash ruby | |
| require "open3" | |
| sigint_caught = false | |
| Signal.trap("INT") do | |
| sigint_caught = true | |
| throw :sigint | |
| end |
NewerOlder