Giters
danysdragons

danysdragons

Geek Repo

4

followers

2

following

371

stars

Github PK Tool:Github PK Tool

danysdragons's starred repositories

langchain

🦜🔗 Build context-aware reasoning applications

Language:Jupyter NotebookLicense:MITStargazers:89872Issues:676Issues:7271

JARVIS

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

Language:PythonLicense:MITStargazers:23412Issues:386Issues:177

babyagi

Language:PythonLicense:MITStargazers:19751Issues:298Issues:145

generative_agents

Generative Agents: Interactive Simulacra of Human Behavior

License:Apache-2.0Stargazers:15960Issues:131Issues:120

runtime

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

Language:C#License:MITStargazers:14655Issues:457Issues:62726

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:3912Issues:81Issues:551

haskell-language-server

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

Language:HaskellLicense:Apache-2.0Stargazers:2624Issues:53Issues:2164

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:2480Issues:25Issues:32

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

Language:OCamlLicense:MITStargazers:650Issues:23Issues: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:609Issues:39Issues: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:230Issues:9Issues:0

FSharp.Json

F# JSON Reflection based serialization library

Language:F#License:Apache-2.0Stargazers:223Issues: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:70Issues:8Issues:3

NetUnicodeInfo

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

Language:C#License:MITStargazers:54Issues: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:41Issues:4Issues:5

lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language:LeanLicense:MITStargazers:36Issues:3Issues:0

FSharp.TypeLevel

type-level programming in F#

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

gameoflife-wasm

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

Language:F#Stargazers:31Issues:2Issues:2

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.

Language:C#Stargazers:14Issues:2Issues:1

fxr

Language:C#Stargazers:5Issues:3Issues:1

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

personal-blog

Language:HTMLStargazers:2Issues:2Issues:0