vishallama

followers

following

stars

USA

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

Vishal Lama's starred repositories

deno

A modern runtime for JavaScript and TypeScript.

Language:RustMIT9341000

nvm

Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions

Language:ShellMIT7726600

redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Language:OCamlApache-2.020400

blog

an Octopress blog by Jake Zimmerman

Language:Shell1400

vimux

easily interact with tmux from vim

Language:Vim ScriptMIT218900

vim-better-sml

:tada: Enjoy writing SML within Vim

Language:Vim Script10100

free-programming-books

:books: Freely available programming books

CC-BY-4.032767100

lispy

Short and sweet LISP editing

Language:Emacs Lisp118600

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Language:Common LispMIT706500

cim

Cim is a Simula compiler that transpiles Simula via C code to binary.

Language:CGPL-2.0600

sicp-pdf

SICP PDF with Texinfo and LaTeX source

Language:Perl426400

airline-themes

vim-airline themes https://github.com/vim-airline/vim-airline-themes for emacs powerline https://github.com/milkypostman/powerline

Language:Emacs LispMIT12400

ChezScheme

Chez Scheme

Language:SchemeApache-2.0689300

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

dune

A composable build system for OCaml.

Language:OCamlMIT156600

frdomain

Code repo for Functional and Reactive Domain Modeling

Language:ScalaApache-2.046400

Scorex

Scorex 2.0 Core

Language:ScalaApache-2.054300

node-red

Low-code programming for event-driven applications

Language:JavaScriptApache-2.01905800

composer-vscode-plugin

:warning: :warning: :warning: Hyperledger Composer has been deprecated :warning: :warning: :warning:

Language:TypeScriptApache-2.02700

scala-js

Scala.js, the Scala to JavaScript compiler

Language:ScalaApache-2.0455400

fabric

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

Language:GoApache-2.01555700

shapeless-guide-code

Example code to accompany shapeless-guide.

Language:ScalaApache-2.013300

shapeless-guide

The Type Astronaut's Guide to Shapeless

Language:TeX75900

GitInPracticeRedux

👩🏼‍💻 A repository created by working through the examples in Git In Practice

4100

GitInPractice

📖 An opinionated intermediate/advanced Git book

NOASSERTION102700

nodejsinaction

The Node.js in Action (Manning) code repository

Language:JavaScript16900

go

The Go programming language

Language:GoBSD-3-Clause12122100

vim-go-tutorial

Tutorial for vim-go

Language:Vim scriptBSD-3-Clause211300

gopl.io

Example programs from "The Go Programming Language"

Language:Go748000

composer

:warning: :warning: :warning: Hyperledger Composer has been deprecated :warning: :warning: :warning:

Language:JavaScriptNOASSERTION162900