Skip to content
View mvkampen's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report mvkampen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: All
Language
Sort by: Recently starred
Showing results

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format

SMT 43 23 Updated Dec 30, 2022

twbs / bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

JavaScript 168,101 78,555 Updated Jul 12, 2024

rails / rails

Ruby on Rails

Ruby 55,319 21,421 Updated Jul 12, 2024

JuliaLang / julia

The Julia Programming Language

Julia 45,010 5,426 Updated Jul 12, 2024

niklasb / ruby-dynamic-binding

Implements a flexible form of dynamic binding to Ruby which allows to run a Proc inside a custom name lookup context

Ruby 26 3 Updated Jun 29, 2022

waterlink / spec2.cr

Enhanced `spec` testing library for [Crystal](http:https://crystal-lang.org/).

Crystal 103 22 Updated Mar 3, 2018

bittrance / rxruby

Forked from ReactiveX/RxRuby

Reactive Extensions for Ruby

Ruby 8 1 Updated May 4, 2018

square / cane

Code quality threshold checking as part of your build

Ruby 1,318 79 Updated Feb 6, 2023