Giters
danysdragons

danysdragons

Geek Repo

4

followers

2

following

371

stars

Github PK Tool:Github PK Tool

danysdragons's starred repositories

plato

A simple and efficient cross-platform programming language.

Language:C#License:MITStargazers:70Issues:0Issues:0

Platonic.CSharp

Safe cross-platform functional programming directly in C#.

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

lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language:LeanLicense:MITStargazers:37Issues:0Issues:0

repo-loader

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

Language:PythonLicense:MITStargazers:2Issues:0Issues:0

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:0Issues:0

chatreview

Code Review Mode for ChatGPT

Language:JavaScriptLicense:GPL-3.0Stargazers:29Issues:0Issues:0

generative_agents

Generative Agents: Interactive Simulacra of Human Behavior

License:Apache-2.0Stargazers:15960Issues:0Issues:0

JARVIS

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

Language:PythonLicense:MITStargazers:23412Issues:0Issues:0

babyagi

Language:PythonLicense:MITStargazers:19751Issues:0Issues:0

langchain

🦜🔗 Build context-aware reasoning applications

Language:Jupyter NotebookLicense:MITStargazers:89872Issues:0Issues:0

runtime

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

Language:C#License:MITStargazers:14655Issues:0Issues:0

NetUnicodeInfo

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

Language:C#License:MITStargazers:54Issues:0Issues:0

microscope

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

Language:C#License:MITStargazers:41Issues:0Issues:0

fxr

Language:C#Stargazers:5Issues:0Issues:0

fint

.NET CIL interpreter written in simple subset of F#

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

awesome-blazor-browser

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

Language:C#License:GPL-3.0Stargazers:230Issues:0Issues:0

microsoft-blazor

Source code for 'Microsoft Blazor' by Peter Himschoot

Language:HTMLLicense:NOASSERTIONStargazers:41Issues:0Issues:0

GraphVizNet

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

Language:C#Stargazers:14Issues:0Issues:0

FSharp.TypeLevel

type-level programming in F#

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

haskell-language-server

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

Language:HaskellLicense:Apache-2.0Stargazers:2624Issues:0Issues:0

FSharp.Json

F# JSON Reflection based serialization library

Language:F#License:Apache-2.0Stargazers:223Issues:0Issues:0

AlgEff

Algebraic effects

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

lc3-vm

LC3 VM implementation in F#.

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

batteries-included

Batteries Included project

Language:OCamlLicense:NOASSERTIONStargazers:514Issues:0Issues:0

personal-blog

Language:HTMLStargazers:2Issues:0Issues:0

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:3912Issues:0Issues:0

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:610Issues:0Issues:0

Higher

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

Language:F#License:NOASSERTIONStargazers:183Issues:0Issues:0

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

Language:OCamlLicense:MITStargazers:650Issues:0Issues:0

gameoflife-wasm

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

Language:F#Stargazers:31Issues:0Issues:0