Pinned Repositories
ansible-role-git
Ansible Role - Git
coreclr
This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
demo-employee-system
Demo Employee System
FStar
An ML-like language with a type system for program verification
sri-prasanna's Repositories
sri-prasanna/FStar
An ML-like language with a type system for program verification
sri-prasanna/ansible-role-git
Ansible Role - Git
sri-prasanna/coreclr
This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
sri-prasanna/corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
sri-prasanna/demo-employee-system
Demo Employee System
sri-prasanna/flutter
Flutter makes it easy and fast to build beautiful mobile apps.
sri-prasanna/gosu-lang
The Gosu programming language
sri-prasanna/mono
Mono open source ECMA CLI, C# and .NET implementation.
sri-prasanna/oauth2_proxy
A reverse proxy that provides authentication with Google, Github or other provider
sri-prasanna/oauth2client
This is a python library for accessing resources protected by OAuth 2.0.
sri-prasanna/protobuf
Protocol Buffers - Google's data interchange format
sri-prasanna/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
sri-prasanna/schematyper
Generates Go types based on JSON Schemas
sri-prasanna/SIMP
Information Repository for SIMP
sri-prasanna/snet-rts
S-NET Run-time System
sri-prasanna/sri-prasanna.github.io
sri-prasanna/vscode-docs
Public documentation for Visual Studio Code
sri-prasanna/xqy-swagger
Antlr based swagger document generator for Xquery files
sri-prasanna/yapf
A formatter for Python files
sri-prasanna/yasp
yasp is a fully functional web-based assembler development environment, including a real assembler, emulator and debugger.