Lists (1)
Stars
OpenAI - F# - A library that allows you to interact with OpenAI API in an easy, fluent, and typed way!
Chat with your database or your datalake (SQL, CSV, parquet). PandasAI makes data analysis conversational using LLMs and RAG.
Sudachi in Rust 🦀 and new generation of SudachiPy
A collection of libraries to optimise AI model performances
This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
🚀 Launch.nvim is modular starter for Neovim.
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler
Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Markdown and LaTeX online editor - create text for web with equations and diagrams
A modern commutative diagram editor for the web.
Elmish, Feliz, DaisyUI, Vite project starter
A native functional ASP.NET Core web framework for F# developers.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness
intended to be a launcher for a major lisp environment that just works.
Agda lecture notes for the Functional Programming course at TU Delft
Agda formalisation of the Introduction to Homotopy Type Theory
A CSS class type provider for F# web development. Bring external stylesheet classes into your F# code as design-time discoverable compiler-verified properties.