xaviervia

Fernando Via Canel's starred repositories

Blodwen

A prototype successor to Idris

Language:IdrisNOASSERTION53900

react-state-stream

React animation on steroid.

Language:JavaScript36000

opentype.js

Read and write OpenType fonts using JavaScript.

Language:JavaScriptMIT431400

foxr

🦊 Node.js API to control Firefox

Language:TypeScriptMIT79500

weighted-levenshtein

A weighted levenshtein :|

Language:JavaScript100

typenshtein

A weighted levenshtein that takes typiness into consideration

Language:JavaScript700

chromium-headless-remote

🐳 Dockerized Chromium in headless remote debugging mode

Language:MakefileMIT12500

sketchlint

💎 Pluggable linting utility for Sketch.

Language:TypeScript4800

alda

A music programming language for musicians. :notes:

Language:GoEPL-2.0554700

callbag

👜 A standard for JS callbacks that enables lightweight observables and iterables

NOASSERTION155600

react-color

:art: Color Pickers from Sketch, Photoshop, Chrome, Github, Twitter & more

Language:JavaScriptMIT1187400

creditcards

Parse, format, and validate credit cards in JS

Language:JavaScriptMIT18200

proper-types

A wrapper for making propTypes more useful in DEV environments

Language:JavaScriptMIT400

logsplit

Takes large objects and splits them into small chunks for separate logging, with easily followable references.

Language:JavaScriptMIT300

tldr.jsx

📚 A Reactive web client for tldr-pages

Language:JavaScriptMIT153700

hygen

The simple, fast, and scalable code generator that lives in your project.

Language:JavaScriptMIT554000

rolling-circles

Demostration of circe rolling around a stationary circle

100

Idris-HoTT

Homotopy Type Theory proofs in Idris

Language:Idris2000

glance

A visual Haskell

Language:HaskellApache-2.070800

unbubble

📺 Finding meaning through chaos

Language:JavaScriptMIT700

ssb-server

The gossip and replication server for Secure Scuttlebutt - a distributed social network

Language:JavaScript168400

node-irc

NodeJS IRC client library

Language:JavaScriptGPL-3.0132600

patchwork

A decentralized messaging and sharing app built on top of Secure Scuttlebutt (SSB).

Language:JavaScriptAGPL-3.0357300

git-ssb

social coding on secure-scuttlebutt [migrated to git-ssb]

25700

remote-frames

Render a subset of the React tree to a different location, from many locations, without having to coordinate them

Language:JavaScriptApache-2.02700

examples

All the examples in Real World OCaml

Language:OCamlUnlicense37600

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION1077500

RippleTank

WebGL Ripple Tank Simulator for Physics Students

Language:JavaScriptMIT800

purr1

An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)

MIT5000

gifgen

Simple high quality GIF encoding

Language:ShellMIT53600