This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Repository Index
55,640 visible repositories in the index
649–672 of 764 · Most stars
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64
- dspack
- microsoft-directshow
- delphinuspackage
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Little utility D3 functions
Free Monads and useful constructions to work with them
utils for Go context
- golang
- go
- context
- async
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Anonymous lambda literal in Common Lisp, respecting Scala
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
A PHP parser for Djot, a modern light markup language
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
Trivial/Tagless Polytypic Functions
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Pure functions for slices.
- golang
- go
- generics
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
general purpose utils for interacting with vert.x
A scala-native bridge to Cocoa
- scala-native
- cocoa
- objective-c
- scala
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language