JuliaReach/LazySets.jl

Scalable symbolic-numeric set computations in Julia

Language: Julia - Size: 49.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 252 - Forks: 37

hyoo-ru/mam_mol

$mol - fastest reactive micro-modular compact flexible lazy ui web framework.

Language: TypeScript - Size: 703 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 723 - Forks: 64

roo-oliv/injectable

Python Dependency Injection for Humans™

Language: Python - Size: 1.09 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 119 - Forks: 12

rentruewang/koila

Prevent PyTorch's `CUDA error: out of memory` in just 1 line of code.

Language: Python - Size: 4.07 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,831 - Forks: 65

functionalscript/functionalscript

FunctionalScript is a safe purely functional subset of JavaScript

Language: TypeScript - Size: 2.09 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 56 - Forks: 4

rchillyard/Number

This project is about numbers: exact (1, e, π, 𝛙, √2, etc.), fuzzy e.g., 1836.152673426(32), or lazy e.g., cos(2π)

Language: Scala - Size: 6.19 MB - Last synced at: about 5 hours ago - Pushed at: about 7 hours ago - Stars: 13 - Forks: 2

oharu121/gluify

A type-safe pipeline library for TypeScript that glues functions from different libraries together.

Language: TypeScript - Size: 56.6 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

Blosc/python-blosc2

A high-performance library for compressed ndarrays, with a flexible computational engine

Language: Python - Size: 30.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 178 - Forks: 28

ebonnal/streamable

concurrent & fluent interface for (async) iterables

Language: Python - Size: 4.11 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 285 - Forks: 4

talsma-ict/lazy4j

Lazy value support for java

Language: Java - Size: 614 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 5 - Forks: 0

matklad/once_cell

Rust library for single assignment cells and lazy statics without macros

Language: Rust - Size: 455 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 2,038 - Forks: 121

tdiprima/itertools-of-the-trade

Think in iterables

Language: Python - Size: 14.6 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

vincentk/dedekind

Strongly typed lazy linear algebra in core java 21+.

Language: Java - Size: 287 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

vgerbot-libraries/lazy

Define a lazily evaluated property.

Language: TypeScript - Size: 210 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

1kbgz/tributary

Streaming reactive and dataflow graphs in Python

Language: Python - Size: 10.3 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 459 - Forks: 38

xieyuheng/lambda-lisp.js

An implementation of lambda calculus.

Language: TypeScript - Size: 1.28 MB - Last synced at: 24 days ago - Pushed at: 3 months ago - Stars: 27 - Forks: 3

aFarkas/lazysizes

High performance and SEO friendly lazy loader for images (responsive and normal), iframes and more, that detects any visibility changes triggered through user interaction, CSS or JavaScript without configuration.

Language: JavaScript - Size: 2.77 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 17,721 - Forks: 1,725

lazyparams/lazyparams

Parameterization solution that enables a regular JUnit test to make itself parameterized by introducing parameters in midair during the test execution

Language: Java - Size: 373 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1

ricokahler/lazy

A small (~900B gzip), useful set of methods for lazy iteration of iterables.

Language: TypeScript - Size: 683 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 12 - Forks: 0

ashvardanian/less_slow.rs

Playing around "Less Slow" coding practices in Rust, from numerical micro-kernels to coroutines, ranges, and polymorphic state machines

Language: Rust - Size: 37.1 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 120 - Forks: 6

srgrr/gombinator

Golang library for functional, go-routine safe programming

Language: Go - Size: 102 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0

malinatrash/funky

Powerful library for functional programming in Go with modern generics.

Language: Go - Size: 40 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

sinclairzx81/linqbox

Language Integrated Query for JavaScript

Language: TypeScript - Size: 286 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 148 - Forks: 4

botamochi0x12/MATLAB-Truthiness

Enhancing MATLAB's if-statement

Language: MATLAB - Size: 109 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

naver/lispe

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

Language: C - Size: 6.51 GB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 421 - Forks: 12

SIvan800/CPS-and-LazyLists-Racket

Racket implementation of Continuation-Passing Style (CPS) transformations and Lazy Lists. Demonstrates advanced functional programming concepts, evaluation strategies, and delayed computation techniques.

Language: Racket - Size: 2.93 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

ChochaNaresh/Formz

Formz is a lightweight validation framework for Android forms written in Kotlin. It provides a simple, yet powerful way to define, validate, and manage form inputs in your Android applications. The library is designed with immutability and performance in mind, ensuring that expensive validation logic is computed only once per input.

Language: Kotlin - Size: 404 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

archermarx/PartialFunctions.jl

A small package to simplify partial function application

Language: Julia - Size: 254 KB - Last synced at: 9 days ago - Pushed at: 7 months ago - Stars: 50 - Forks: 3

mkroening/generic_once_cell

A bring-your-own-mutex version of once_cell.

Language: Rust - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0

1n-Visible/math-script

MathScript is fast and easy to use scripting language with math-oriented syntax

Language: C - Size: 263 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

jkrukoff/llists

An Erlang/OTP library for lazily evaluated lists.

Language: Erlang - Size: 307 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

RougeWare/Swift-Lazy-Containers

A few lazy-initialization container types for Swift 5.1

Language: Swift - Size: 134 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 35 - Forks: 2

Technologicat/unpythonic

Supercharge your Python with parts of Lisp and Haskell.

Language: Python - Size: 5.66 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 99 - Forks: 3

elftausend/custos

A minimal OpenCL, CUDA, Vulkan and host CPU array manipulation engine / framework.

Language: Rust - Size: 3.18 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 75 - Forks: 9

singularitti/Thinkers.jl

An efficient implementation of Thunk types for Julia enabling sophisticated lazy evaluation and deferred computation techniques

Language: Julia - Size: 524 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

pomponchik/fazy

Lazy f-strings for everyone

Language: Python - Size: 193 KB - Last synced at: 20 days ago - Pushed at: 7 months ago - Stars: 32 - Forks: 2

lac-dcc/wyvern

Automatic conversion of call by value into call by need in the LLVM IR.

Language: C++ - Size: 4.29 MB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 59 - Forks: 5

wasabi315/lazy

STG-like lazy evaluation mechanism in JavaScript

Language: JavaScript - Size: 60.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

gesellkammer/bpf4

lazy evaluated curves for python

Language: Cython - Size: 1.24 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

VoxleOne/libloop

A loop abstraction library for cleaner code

Language: Python - Size: 60.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

chrismichaelps/scats

A comprehensive TypeScript library bringing Scala's powerful functional programming paradigms to JavaScript/TypeScript, featuring immutable collections, monads, pattern matching, and more

Language: TypeScript - Size: 1.41 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1

ugaya40/leseq

Lazy collection(lazy list) with high tree-shaking affinity and easy customization.

Language: TypeScript - Size: 1.43 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 3

zhangchicheng/Mathub

A lightweight C++ library for linear algebra

Language: C++ - Size: 97.7 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

DanGooding/fun

A simple functional language, with type inference, lazy evaluation, pattern matching and mutual recursion

Language: Java - Size: 135 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

railsjazz/lazy_value

Rails Lazy value loader

Language: Ruby - Size: 263 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 47 - Forks: 0

Nylle/javaseq

A lazy sequence for Java (no Stream involved)

Language: Java - Size: 360 KB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

getkalido/fungi Fork of sharpvik/fungi

Functional stream processing primitives for Go

Language: Go - Size: 36.1 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

parsiad/lazy-table

A python-tabulate wrapper for producing tables from generators

Language: Python - Size: 186 KB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 57 - Forks: 2

BobKerns/better-future

Futures (deferred/lazy evaluation), with cancellation, timeouts, task groups and pools, working fully w/ Promises.

Language: TypeScript - Size: 441 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

wesovilabs/koazee

A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.

Language: Go - Size: 3.95 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 531 - Forks: 31

thma/WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

Language: Haskell - Size: 480 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 470 - Forks: 14

p-ranav/csv2

Fast CSV parser and writer for Modern C++

Language: C++ - Size: 729 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 590 - Forks: 103

orcca-uwo/MultivariatePowerSeries

This object-oriented Maple package provides functionalities for manipulating multivariate power series and univariate polynomials over such series at high speed and high precision.

Language: Objective-C++ - Size: 1.05 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

krippner/auto-diff

A modular C++17 framework for automatic differentiation

Language: C++ - Size: 199 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 8 - Forks: 0

lento-lang/Lento

A strongly typed, and expressive functional programming language

Language: Rust - Size: 1.25 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 0

reach2sayan/Expression_Differentiator

A C++23 template library for symbolic mathematical expressions, derivatives, and equation systems with compile-time evaluation capabilities.

Language: C++ - Size: 99.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1

clark800/lambda-zero

minimalist pure lazy functional programming language (pythonic haskell)

Language: C - Size: 1.78 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 78 - Forks: 5

themattchan/core

SPJ's tutorial on implementing functional languages

Language: Haskell - Size: 39.1 KB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 29 - Forks: 2

matazure/mtensor

a c++/cuda template library for tensor lazy evaluation

Language: C++ - Size: 1000 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 161 - Forks: 38

Shalimov/lzdash

Lazy / non-strict evaluation in JavaScript

Language: JavaScript - Size: 563 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 0

o3bvv/lazy-string

Python library for defining strings with delayed evaluation

Language: Python - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 9 - Forks: 3

nlgranger/SeqTools

A python library to manipulate and transform indexable data (lists, arrays, ...)

Language: Python - Size: 1.56 MB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 4

bollu/timi

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

Language: Rust - Size: 363 KB - Last synced at: 2 months ago - Pushed at: almost 9 years ago - Stars: 70 - Forks: 2

TotallyNotChase/c-iterators

:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99

Language: C - Size: 686 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 98 - Forks: 2

Genivia/Husky

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Language: Prolog - Size: 122 KB - Last synced at: 7 months ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 1

inconvergent/cl-stm

Finite State Machine Utilities

Language: Common Lisp - Size: 47.9 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

vauxgomes/lad

Open source implementation of Logical Analysis of Data (LAD) Algorithm.

Language: Python - Size: 68.4 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 1

nunoplopes/torchy 📦

A tracing JIT compiler for PyTorch

Language: C++ - Size: 5.27 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 13 - Forks: 0

ast-al/rangeless

c++ LINQ -like library of higher-order functions for data manipulation

Language: C++ - Size: 1.28 MB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 195 - Forks: 6

ewdlop/Functional-Programming-Note

Language: C# - Size: 12.7 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

neilmayhew/hexdump-lazy

Produce hex dumps lazily from various types of source

Language: Haskell - Size: 31.3 KB - Last synced at: 27 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0

Slava0135/stg-example

Example Haskell program translated to STG and compiled to C

Language: C - Size: 33.2 KB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

abrudz/Lazy

Lazily evaluated (late-binding) definition for Dyalog APL

Language: APL - Size: 15.6 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

grin-compiler/souffle-cfa-optimization-experiment

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

Language: HTML - Size: 1.93 MB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 0

divengine/laze

PHP library for lazy evaluation with immutable values and constraints, enabling efficient resource management, flexible configuration, and secure, conditionally evaluated data.

Language: PHP - Size: 44.9 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

benrayfield/wikibinator203

Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of number that is a universal-pattern-calculus-combinator. Axgob.js (in dagball project, lib dir) is incomplete newer version of this. A fork-editable multiverse of all possible lambdas.

Language: JavaScript - Size: 20.8 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 2

thaliaarchi/lazy-wspace

A Whitespace compiler and interpreter with lazy semantics

Language: Rust - Size: 651 KB - Last synced at: 6 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 1

mtumilowicz/scala213-functional-programming-collections-workshop

Introduction to Scala and functional programming collections: list, stream and tree.

Language: Scala - Size: 136 KB - Last synced at: 5 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

Depermitto/LazyLists 📦

Iterators for Golang implemented using the experimental rangefunc feature. Currently compatible with go1.22.x

Language: Go - Size: 28.3 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

monadicarts/lazy-streams

LazyStreams for TypeScript is a lazy loaded generator based chainable fluent syntax that uses strong functional composition and operations for processing lazy streams of data.

Language: TypeScript - Size: 691 KB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

natfoam/lib 📦

Rust libraries

Language: Rust - Size: 201 KB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

sergey-shandar/purelogic-ts 📦

PureLogic for TypeScript

Language: TypeScript - Size: 301 KB - Last synced at: 3 months ago - Pushed at: almost 9 years ago - Stars: 3 - Forks: 0

cwbriones/streams

Lazy iterables in erlang

Language: Erlang - Size: 14.6 KB - Last synced at: 20 days ago - Pushed at: about 9 years ago - Stars: 12 - Forks: 1

vahidzee/dypy

Toolkit for Dynamic Python code manipulations

Language: Python - Size: 282 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 1

VoltaireNoir/chained

A Rust library for lazily chaining functions

Language: Rust - Size: 48.8 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

symerio/neurtu

Interactive parametric benchmarks in Python

Language: Python - Size: 81.1 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 2

SebastianAment/CovarianceFunctions.jl

Lazy, structured, and efficient operations with kernel matrices.

Language: Julia - Size: 1.99 MB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 3

johnc219/virtual_proxy

(demo gem) Quickly build virtual proxies in Ruby

Language: Ruby - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

rtmigo/schedulers_dart

Dart library for running asynchronous functions on time. For load balancing, rate limiting, lazy execution

Language: Dart - Size: 122 KB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 9

timstr/hashrevise

A Rust library for hashing data structures and then caching results and avoiding work

Language: Rust - Size: 8.79 KB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

jonathanfrennert/func-prog-lang 📦

A Language for the Lazy

Language: Haskell - Size: 126 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

joanmontas/UMLisp

Subset of Common Lisp

Language: Haskell - Size: 73.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

umd-dslam/BullFrog

BullFrog: Online Schema Evolution via Lazy Approach

Language: C - Size: 22.5 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

matbesancon/MatFuncs.jl 📦

Example package for the Julia Montreal meetup

Language: Julia - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

TotallyNotChase/c-iterplus

Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators

Language: C - Size: 1.98 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 30 - Forks: 0

klahap/kothon

Enhance Python with Kotlin's Sequence class and functional programming for efficient, expressive data pipelines.

Language: Python - Size: 53.7 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

kdkasad/CIter

Rust-style iterators for C

Language: C - Size: 180 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

raviqqe/stg

STG Machine in Go

Language: Go - Size: 142 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1

OldLiu001/Brackets.vbs

A flexible Functional Programming Library for VBScript. Include a safe anonymous function generator & many other useful functions. Lazy evaluation & infinite stream are also supported.

Language: VBScript - Size: 209 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

kirkedev/datepicker

Example project for demonstrating ATDD, boundaries / logical core / collaborative shell, lazily evaluated functional programming, and typescript project setup

Language: TypeScript - Size: 42.9 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0