Tasiro

Tasiro's Stars

• AssemblyScript/assemblyscript

  A TypeScript-like language for WebAssembly.

  Language:WebAssembly17k666

• ionide/ionide-vscode-fsharp

  VS Code plugin for F# development

  Language:F#865282

• pragmatrix/tabsanity-vs

  Navigate through tabs-as-spaces as if they were actually tabs.

  Language:C#7

• dotnet/fsharp

  The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

  Language:F#4k789

• Natashi/Touhou-Danmakufu-ph3sx-2

  A modification of Touhou Danmakufu ph3 geared towards optimization and more advanced features.

  Language:C++588

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k380

• AoTTG-2/AoTTG-2

  The community wants a sequel, and so we are going to make it reality! #AoTTG2

  Language:C#27956

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris90257

• sebastian-quack/Grepolis-QT

  Userscript for Grepolis

  Language:JavaScript84