miyamiyaz

followers

following

stars

Jay's starred repositories

deno

A modern runtime for JavaScript and TypeScript.

Language:RustMIT94486 1406 10864

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

Language:RustMIT18522 202 1802

earthly

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

Language:GoMPL-2.011327 61 1384

sdk

The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

Language:DartBSD-3-Clause10110 287 55064

LuLu

LuLu is the free macOS firewall

Language:Objective-CGPL-3.09738 149 596

sandstorm

Sandstorm is a self-hostable web productivity suite. It's implemented as a security-hardened web app package manager.

Language:JavaScriptNOASSERTION6719 213 1667

arrow

Λrrow - Functional companion to Kotlin's Standard Library

Language:KotlinNOASSERTION6154 93 1004

eqMac

macOS System-wide Audio Equalizer & Volume Mixer 🎧

Language:SwiftApache-2.05642 75 822

wysiwyg-editor

The next generation Javascript WYSIWYG HTML Editor.

Language:CSSNOASSERTION5279 137 4699

typebox

Json Schema Type Builder with Static Type Resolution for TypeScript

Language:TypeScriptNOASSERTION4821 16 581

v8n

☑️ JavaScript fluent validation library

Language:JavaScriptMIT4170 51 65

Trumbowyg

A lightweight and amazing WYSIWYG JavaScript editor under 10kB

Language:JavaScriptMIT3995 100 1031

tbls

tbls is a CI-Friendly tool for document a database, written in Go.

Language:GoMIT3415 22 135

insect

High precision scientific calculator with support for physical units

Language:PureScriptMIT3172 28 256

hjson

Hjson, a user interface for JSON

Language:HTMLMIT2675 29 109

aqueduct

Dart HTTP server framework for building REST APIs. Includes PostgreSQL ORM and OAuth2 provider.

Language:DartBSD-2-Clause2409 76 451

angular

Fast and productive web framework provided by Dart

Language:DartMIT1829 100 1056

TaskScheduler

Cooperative multitasking for Arduino, ESPx, STM32, nRF and other microcontrollers

Language:C++BSD-3-Clause1237 76 149

pyheatmagic

IPython magic command to profile and view your python code as a heat map.

Language:PythonMIT1026 12 5

MathInspector

A visual programing environment for scientific computing with python

Language:PythonGPL-3.0896 26 37

uroboros

A GNU/Linux monitoring and profiling tool focused on single processes.

Language:GoNOASSERTION670 20 4

python-stringcase

String case converter for python.

Language:PythonMIT205 4 25

OpenJML

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

Language:Java140 12 789

dartdap

DART LDAP Client

Language:DartBSD-2-Clause20 9 37

OpenRule1um

Open design rule (1um)

Language:PythonMIT17 10 17

sugos

A high-level RPC framework to make remote controlling super easy.

Language:JavaScriptApache-2.09 9 16

inalz

Markdown document 18n tool for maintainable translation

Language:TypeScriptMIT3 3 10

siconv

siconv is a yet another implementation of iconv which used java charset encoder/decoder.

Language:ScalaMIT3 10

fricas_docker

Dockerfile for nilqed/fricas image (auto-build)

Language:DockerfileMIT2 20

jfricas.pip

FriCAS Jupyter Kernel - jfricas (pip3 package)

Language:PythonNOASSERTION1 2 1