EDSL for Stencil Computations in Haskell
☆12Feb 5, 2014Updated 12 years ago
Alternatives and similar repositories for ypnos
Users that are interested in ypnos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Shell script for managing cabal-dev sandboxes☆12May 15, 2012Updated 14 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- An Experiment in Haskell Symbolic Algebra☆74May 23, 2012Updated 14 years ago
- Example automatic differentiation code in Scala☆31Jun 22, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- just to keep a version of my code as I attempt to learn haskell.☆23May 3, 2016Updated 10 years ago
- A Data.Vector based implementation of the kmeans clustering algorithm☆12Jul 30, 2015Updated 11 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- A collection of experiments related to the idea of compiling things☆19Dec 4, 2013Updated 12 years ago
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 6 years ago
- Haskell 98 Lenses☆14Jan 1, 2018Updated 8 years ago
- Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)☆12Sep 25, 2024Updated 2 years ago
- Playing with time series☆14Aug 27, 2015Updated 11 years ago
- ☆12May 22, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- Proof that Haskell can look and act like an imperative language.☆74Jun 7, 2012Updated 14 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.☆15Mar 3, 2013Updated 13 years ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)☆55Sep 7, 2023Updated 3 years ago
- Linear Regression in Haskell☆15Aug 22, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 6 years ago
- Fortran parsing and static analysis infrastructure☆60Oct 12, 2026Updated 2 weeks ago
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 10 years ago
- Taking yet another run at this problem - usable DSL with maximum expressivity is the goal.☆15Mar 20, 2021Updated 5 years ago
- Get going with core.async☆26Sep 18, 2014Updated 12 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆13Jul 9, 2025Updated last year
- Basic boilerplate for snap using OpenId, Digestive Functors, Etc.☆18Aug 12, 2013Updated 13 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆160Mar 3, 2021Updated 5 years ago
- Detect leakages in machine learning datasets using complex numbers and NANs☆13Jul 23, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python module to follow new lines from multiple files at once, taking account of new files, deleted files, and rotated files.☆12Aug 5, 2019Updated 7 years ago
- pi extension: DeepSeek V4 Pro Minimal-anchored bootstrap, then full Standard tools (port of dsh-anchored-standard)☆14Aug 15, 2026Updated 2 months ago
- Make your actions observable and listen events from them, algebraically.☆17Dec 4, 2024Updated last year
- Little JSON object want to be graphs, too!☆17Oct 2, 2015Updated 11 years ago
- Haskell implementation of C4 model, for specifying software architecture☆18Aug 15, 2022Updated 4 years ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- my library for competitive programming☆16Jun 25, 2026Updated 4 months ago