A native compiler backend for PureScript (via C++ or Golang)

100% open-source IoT Platform - Integrate your devices, create rules, and analyse and visualise your data

an erlang application for consuming, producing and manipulating json. inspired by yajl

Pandoc filter for cross-references

Idris 2 HTTP Api Server

Cross platform GUI toolkit in Go inspired by Material Design

C++ foreign export implementations for the standard library

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

Go foreign export implementations for the standard library

PyTorch C++ Reinforcement Learning

Gathers machine learning and deep learning models for Stock forecasting including trading bots and simulations

PyTorch implementation of Advantage Actor Critic (A2C), Proximal Policy Optimization (PPO), Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation (ACKT…

☁️ Nextcloud server, a safe home for all your data

Erlang backend for the PureScript compiler

Moved to https://codeberg.org/jyri-matti/hseverywhere

Massively parallel software for quantum chemistry calculations

MPI bindings for Haskell