XOD

xod-docs Public

XOD Documentation

Dockerfile 12 CC-BY-SA-4.0 120 8 7 Updated Mar 1, 2023

xod Public

XOD IDE

JavaScript 877 AGPL-3.0 119 86 (1 issue needs help) 15 Updated Dec 12, 2022

A parser for Hidnley Milner notations

JavaScript 23 2 2 3 Updated Dec 6, 2022

hm-def Public

Runtime type checking for JS with Hindley Milner signatures

JavaScript 196 MIT 11 1 12 Updated Dec 3, 2022

Excel-like data grid component for react

JavaScript 0 MIT 514 0 0 Updated Dec 17, 2018

Easily customize the browser scroll bar with native OS scroll behavior

JavaScript 0 MIT 65 0 0 Updated Nov 9, 2018

xod-xens Public

A collection of XENs (XOD Enhancement Notes)

2 0 8 1 Updated Oct 26, 2018

WIZ5500 based Ethernet Shield library

C++ 0 75 0 0 Updated Sep 14, 2018

Automatically scrolls a component to the bottom, unless the user has scrolled up.

JavaScript 0 MIT 5 0 0 Updated Aug 16, 2018

WAI-ARIA compliant React autosuggest component

JavaScript 1 MIT 631 0 1 Updated Mar 30, 2018

Provide feedback