Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology

https://github.com/akabe/ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook
dataanalysis datascience functional-programming jupyter jupyter-kernels jupyter-notebook machine-learning ocaml ocaml-kernel ocaml-repl
Added: over 1 year ago - Last Synced: 11 months ago - Created: July 14, 2017

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: OCaml
  • Commits: 265
  • Committers: 25
  • Issues: 57
  • Pull Requests: 53
  • Owner: akabe
  • Stars: 282
  • Forks: 41
  • Packages: 1
https://github.com/zio/zio-logging

Powerful logging for ZIO 2.0 applications, with compatibility with many logging backends out-of-the-box.
fp functional-programming logging scala slf4j tracing zio
Added: over 1 year ago - Last Synced: over 1 year ago - Created: September 09, 2019

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Scala
  • Commits: 521
  • Committers: 53
  • Issues: 17
  • Pull Requests: 175
  • Owner: zio
  • Stars: 172
  • Forks: 81
  • Packages: 43
https://github.com/jcoreio/map-shape

apply mapping functions to specific properties of an object
convert functional-programming map restructuring
Added: over 1 year ago - Last Synced: over 1 year ago - Created: February 18, 2020

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: TypeScript
  • Commits: 13
  • Committers: 1
  • Issues: 1
  • Pull Requests: 26
  • Owner: jcoreio
  • Stars: 0
  • Forks: 0
  • Packages: 1
  • Downloads: 6
https://github.com/tomeraberbach/lfi

🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
async concurrent functional-programming generator iterable iterator javascript lazy npm-module npm-package promise sync
Added: over 1 year ago - Last Synced: over 1 year ago - Created: December 17, 2020

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: TypeScript
  • Commits: 148
  • Committers: 2
  • Issues: 1
  • Pull Requests: 13
  • Owner: TomerAberbach
  • Stars: 232
  • Forks: 1
  • Packages: 3
  • Downloads: 1,309
https://github.com/incetarik/fp-ts-stream

Providing Transducers/Streams based on fp-ts library.
fp-ts functional-programming generators streaming
Added: over 1 year ago - Last Synced: over 1 year ago - Created: October 20, 2022

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: TypeScript
  • Commits: 239
  • Committers: 1
  • Issues: 3
  • Pull Requests: 0
  • Owner: incetarik
  • Stars: 29
  • Forks: 1
  • Packages: 1
  • Downloads: 2,876
https://github.com/higherkindness/mu-scala

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
algebra functional-programming monads mu protocol rpc scala tagless-final
Added: over 1 year ago - Last Synced: over 1 year ago - Created: May 05, 2017

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Scala
  • Commits: 1430
  • Committers: 49
  • Issues: 0
  • Pull Requests: 255
https://github.com/47degrees/scalacheck-toolbox

A helping hand for generating sensible data with ScalaCheck
date-time functional-programming jdk8 joda scala scalacheck
Added: over 1 year ago - Last Synced: over 1 year ago - Created: July 04, 2016

  • Relevant topics? false
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Scala
  • Commits: 546
  • Committers: 26
  • Issues: 0
  • Pull Requests: 309
  • Owner: 47degrees
  • Stars: 119
  • Forks: 7
  • Packages: 21
https://github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages
compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler
Added: over 1 year ago - Last Synced: 11 months ago - Created: June 11, 2016

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Coq
  • Commits: 2051
  • Committers: 16
  • Issues: 44
  • Pull Requests: 60
  • Owner: querycert
  • Stars: 55
  • Forks: 9
  • Packages: 6
  • Downloads: 58