SOL Rebalancing Bot automates portfolio balancing for Solana (SOL) holdings, adjusting asset allocations based on predefined strategies to optimize risk and returns on-chain.

Inference Llama 2 in one file of pure Haskell (A port of llama2.c from Andrej Karpathy)

Facturas2json es un programa que te permite extraer datos estructurados a partir de facturas utilizando los modelos Marker y nuExtract.

Agent Zero AI framework

Haskell implemented with combinators

LLM inference in C/C++

The Plutus application platform

Plutus starter project with updated dependencies to work with PAB on testnet

Write DApps as continuous workflows with Cardano-Plutus smart contracts

A purely functional programming language with first class types

A starter project for Plutus apps

NullPointerExceptions in Haskell

The Plutus language implementation and tools

Efficient Haskell effect handlers based on evidence translation.

TLS/SSL implementation in haskell

Simple GHC (Haskell) integration for VSCode

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Photographer portfolio website made with Axiom https://github.com/transient-haskell/axiom

STOKE: A stochastic superoptimizer and program synthesizer

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

code related to GSoC-2018 project "High Performance Web Server with Fibers"

High-powered REPL for Haskell, inspired by IPython

A quick & dirty script to emulate Raspberry PI family devices on your laptop.

Haskell library for building declarative animations based on SVG graphics

A browser based code editor

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A modern proof language