vishallama

followers

following

stars

USA

https://mathstodon.xyz/web/@vishallama

Vishal Lama's starred repositories

ionide-vscode-fsharp

VS Code plugin for F# development

Language:F#MIT85200

Paket

A dependency manager for .NET with support for NuGet packages and Git repositories.

Language:F#MIT200600

suave

Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and task composition.

Language:F#NOASSERTION131900

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Language:ScalaMIT567100

polyml

Poly/ML

Language:Standard MLLGPL-2.148000

Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

Language:TeX18900

forallx-yyc

UCalgary version of forallx, an introduction to formal logic

Language:TeXCC-BY-4.08900

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Language:ScalaApache-2.01431500

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlNOASSERTION121800

vimium

The hacker's browser.

Language:JavaScriptMIT2274500

typescript-book

:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

Language:TypeScriptNOASSERTION2064000

codebuddies

CodeBuddies.org: Community-organized hangouts for learning programming together - community-built using MeteorJS

Language:JavaScriptGPL-3.052600

Vim

:star: Vim for Visual Studio Code

Language:TypeScriptMIT1360900

typescript-repl

An upgraded TypeScript REPL

Language:TypeScript21000

ts-node

TypeScript execution and REPL for node.js

Language:TypeScriptMIT1277600

ignite

Infinite Red's battle-tested React Native project boilerplate, along with a CLI, component/model generators, and more!

Language:TypeScriptMIT1709300

kieranhealy.hugo

The source code to http://kieranhealy.org

Language:JavaScriptNOASSERTION6700

awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

capybara

Acceptance test framework for web applications

Language:RubyMIT1000100

You-Dont-Know-JS

A book series on JavaScript. @YDKJS on twitter.

NOASSERTION17836000

dotfiles

:bookmark_tabs: .dotfiles for Bash (Linux) / ZSH (Linux) / Git Bash (Windows) / Cygwin (Windows) / Bash on Ubuntu on Windows

Language:ShellMIT21300

lelylan

Open Source Lightweight Microservices Architecture for the Internet of Things. For developers.

rspec-expectations

Provides a readable API to express expected outcomes of a code example

Language:RubyMIT125100

test_assessment

Just a single example test assessment to step through the setup process

Language:Ruby100

towers_of_hanoi

A Tower of Hanoi game for the command line.

Language:RubyMIT300

awesome-courses

List of awesome university courses for learning Computer Science!

tslime.vim

Send command from vim to a running tmux session

Language:VimL3500

must-watch-javascript

🔥 JavaScript talks you have to see 📺 on functional programming, performance, frameworks, React, debugging, leveling up, and more! ⚡️

CC0-1.0708500

must-watch-css

🔥 CSS talks you have to see ⚡️ covering CSS Grid, flexbox, custom variables, performance, frameworks, Sass, tools, and more! 🚀

CC0-1.0470900

code-utah

Website for the Code Utah events

Language:HTML100