A key remapping daemon for linux.

Interact with your documents using the power of GPT, 100% privately, no data leaks

🏆 An awe-inspiring collection of resources, encompassing a wide range of tools, documents, resources, applications, and use cases related to ChatGPT.

LLM inference in C/C++

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

DiffSharp: Differentiable Functional Programming

A .NET library that provides access to the library that powers PyTorch.

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking

Data validation using Python type hints

Bucklescript PPX which generates JSON (de)serializers for user-defined types

Hot module replacement (hot reload) for Node.js applications. Develop without server restarting.

OCaml formatter for VS Code

Auto-formatter for OCaml code

A language server for reason, in reason

🧛🏻‍♂️ One theme. All platforms.

Emacs Plus formulae for the Homebrew package manager

A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)

Tensors and Dynamic neural networks in Python with strong GPU acceleration