Giters
Vishal Lama (vishallama)

vishallama

Geek Repo

18

followers

69

following

1k

stars

Location:USA

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

Github PK Tool:Github PK Tool

Vishal Lama's starred repositories

mise

dev tools, env vars, task runner

Language:RustLicense:MITStargazers:7790Issues:0Issues:0

oorp

A migration project of the book "Object-oriented Reengineering Patterns"

Stargazers:13Issues:0Issues:0

aog-article-quarto

Quarto template for a nice scholarly PDF format

Language:TeXLicense:MITStargazers:5Issues:0Issues:0

PharoByExample9

The version of Pharo by Example for Pharo 90

Language:CSSStargazers:26Issues:0Issues:0

Booklet-TestingInPharo

This booklet describes SUnit and DrTests.

Language:HTMLStargazers:7Issues:0Issues:0

OORP

Object-Oriented Reengineering Patterns

Language:TeXLicense:NOASSERTIONStargazers:34Issues:0Issues:0

AdvancedOODesignMOOC-website

Language:JavaScriptStargazers:1Issues:0Issues:0

NewPharoByExample9

The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.

Language:CSSStargazers:9Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:339Issues:0Issues:0

cedar

Implementation of the Cedar Policy Language

Language:RustLicense:Apache-2.0Stargazers:759Issues:0Issues:0

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

Language:LeanLicense:Apache-2.0Stargazers:72Issues:0Issues:0

SICP-guile

SICP in Guile & Emacs Lisp

Language:RacketStargazers:669Issues:0Issues:0

asdf-guile

An asdf-vm plugin to manage installtions of GNU Guile

Language:ShellLicense:GPL-3.0Stargazers:2Issues:0Issues:0

FormalMethods-Alloy

Formal Methods Project and Exercises with Alloy (2022 Course)

Language:AlloyLicense:MITStargazers:4Issues:0Issues:0

formal-methods

Materials from the Formal Methods for Critical Systems course at FEUP.

Language:AlloyLicense:MITStargazers:4Issues:0Issues:0

twelf

The Twelf Programming Language

Language:Standard MLLicense:NOASSERTIONStargazers:99Issues:0Issues:0

jsource

J engine source mirror

Language:CLicense:NOASSERTIONStargazers:642Issues:0Issues:0

learnapl

Introduction to Dyalog APL: https://xpqz.github.io/learnapl

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:123Issues:0Issues:0

vim-sneak

The missing motion for Vim :athletic_shoe:

Language:Vim ScriptLicense:MITStargazers:3183Issues:0Issues:0

vim-easymotion

Vim motions on speed!

Language:Vim scriptStargazers:7385Issues:0Issues:0

CamelCaseMotion

A vim script to provide CamelCase motion through words (fork of inkarkat's camelcasemotion script)

Language:Vim scriptStargazers:576Issues:0Issues:0

bash-completion

Programmable completion functions for bash

Language:ShellLicense:GPL-2.0Stargazers:2791Issues:0Issues:0

scala-modules

Experimental implementations of ML-style modules in Scala

Language:ScalaLicense:MITStargazers:147Issues:0Issues:0

lean-social-choice

A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.

Language:LeanStargazers:20Issues:0Issues:0

topos

Topos theory in lean

Language:LeanStargazers:52Issues:0Issues:0

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTMLStargazers:151Issues:0Issues:0

treestyletab

Tree Style Tab, Show tabs like a tree.

Language:JavaScriptLicense:NOASSERTIONStargazers:3399Issues:0Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:481Issues:0Issues:0

rscala

The Scala interpreter is embedded in R and callbacks to R from the embedded interpreter are supported. Conversely, the R interpreter is embedded in Scala.

Language:RLicense:NOASSERTIONStargazers:99Issues:0Issues:0

rJava

R to Java interface

Language:JavaStargazers:233Issues:0Issues:0