GTrunSec / Jupyter-data-science-environment

Related projects ⓘ

Alternatives and complementary repositories for Jupyter-data-science-environment

• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated 9 months ago
• haskell-github-trust / replace-attoparsec
  Stream editing with Haskell Attoparsec parsers
  ☆14Updated last year
• cdepillabout / nix-reverse-deps-of-haskell-package
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Updated 4 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆19Updated last month
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• sophicshift / org-mode-hs
  Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
  ☆22Updated 6 months ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• matthewbauer / nix-haskell-mode
  Automatic Haskell setup in Emacs, for Nix users
  ☆28Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 2 months ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆12Updated 10 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆33Updated this week
• AJChapman / co-log-polysemy-formatting
  A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
  ☆12Updated 3 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆25Updated 10 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 3 months ago
• justinwoo / easy-dhall-nix
  Derivations for easily downloading Dhall binaries and putting them to use.
  ☆25Updated last year
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated this week
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆23Updated 2 years ago
• factisresearch / opensource
  Haskell: Monorepo for our open source packages
  ☆17Updated 7 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 3 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• srid / ema-template
  Template repo for Ema static site generator
  ☆28Updated 2 months ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆19Updated this week
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago