danysdragons's starred repositories

langchain

🦜🔗 Build context-aware reasoning applications

Language:PythonLicense:MITStargazers:88633Issues:673Issues:7099

JARVIS

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

Language:PythonLicense:MITStargazers:23330Issues:385Issues:177

generative_agents

Generative Agents: Interactive Simulacra of Human Behavior

runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:3856Issues:81Issues:548

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2613Issues:53Issues:2152

biomes-game

Biomes is an open source sandbox MMORPG built for the web using web technologies such as Next.js, Typescript, React and WebAssembly.

Language:TypeScriptLicense:MITStargazers:2478Issues:25Issues:32

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

Language:OCamlLicense:MITStargazers:645Issues:22Issues:7

libguestfs

library and tools for accessing and modifying virtual machine disk images. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us.

Language:CLicense:GPL-2.0Stargazers:605Issues:38Issues:91

batteries-included

Batteries Included project

Language:OCamlLicense:NOASSERTIONStargazers:514Issues:16Issues:515

awesome-blazor-browser

A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.

Language:C#License:GPL-3.0Stargazers:229Issues:9Issues:0

FSharp.Json

F# JSON Reflection based serialization library

Language:F#License:Apache-2.0Stargazers:222Issues:14Issues:46

Higher

A lightweight library of abstractions for Higher-kinded programming in F#

Language:F#License:NOASSERTIONStargazers:183Issues:18Issues:8

AlgEff

Algebraic effects

Language:F#License:GPL-3.0Stargazers:70Issues:6Issues:0

plato

A simple and efficient cross-platform programming language.

Language:C#License:MITStargazers:69Issues:8Issues:3

NetUnicodeInfo

Unicode Character Inspector & Library providing a subset of the Unicode data for .NET clients.

Language:C#License:MITStargazers:53Issues:4Issues:8

fint

.NET CIL interpreter written in simple subset of F#

Language:F#License:MITStargazers:51Issues:6Issues:0

microsoft-blazor

Source code for 'Microsoft Blazor' by Peter Himschoot

Language:HTMLLicense:NOASSERTIONStargazers:41Issues:6Issues:4

microscope

:microscope: CodeLens extension for Visual Studio that lets you inspect the intermediate language instructions of methods and properties.

Language:C#License:MITStargazers:40Issues:4Issues:5

FSharp.TypeLevel

type-level programming in F#

Language:F#License:Apache-2.0Stargazers:36Issues:5Issues:0

lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language:LeanLicense:MITStargazers:35Issues:3Issues:0

gameoflife-wasm

Conway's Game of Life in Web Assembly, built using Bolero

chatreview

Code Review Mode for ChatGPT

Language:JavaScriptLicense:GPL-3.0Stargazers:29Issues:2Issues:9

Platonic.CSharp

Safe cross-platform functional programming directly in C#.

Language:C#License:MITStargazers:19Issues:4Issues:0

GraphVizNet

.NET wrapper for the command-line GraphViz native binaries.

lc3-vm

LC3 VM implementation in F#.

Language:F#License:MITStargazers:4Issues:1Issues:1

repo-loader

Github repository loader, to be used for ChatGPT. Dumps the whole repository in a single file, respecting .gitignore.

Language:PythonLicense:MITStargazers:2Issues:1Issues:1