Ximik/tyr
A dependently-typed machine learning framework for Lean 4, providing compile-time tensor shape verification.
Repositories
Ximik/Laspyt
Last.fm scrobbler
Ximik/akron
Ximik/spaces
Bitcoin spaces protocol daemon
Ximik/spaces-docs
Bitcoin spaces documentation
Ximik/tex2svg
Compiles (La)TeX code to responsive SVGs
Ximik/vanilla-ujs
UJS without jQuery dependency
Ximik/yuki
Private, lightish Bitcoin client based on Kyoto
Ximik/iced_fontello
A library for generating type-safe icon fonts for `iced` at compile time
Ximik/spacedb
A cryptographically verifiable data store and universal accumulator for the Spaces protocol
Ximik/verglas
🧊 Iced SVG icon font generator
Ximik/easytags
Easy json/xml Tag generation tool for golang
Ximik/ximik.net
Ximik/ximik.github.io
Ximik/syncod
Encode JavaScript objects into flat strings dictionary. Synchronise complex nested structures over the network with minimal overhead.
Ximik/webfont-brunch
Generate webfonts from SVG icons for your brunch project
Ximik/postcss-bemed
PostCSS plugin for BEM class names generation
Ximik/messageformat-brunch
MessageFormat plugin for Brunch.io
Ximik/bemed
BEM class name generator for postcss-bemed and babel-plugin-transform-jsx-bemed
Ximik/babel-plugin-transform-jsx-bemed
JSX with BEM format via Babel
Ximik/ShareKit
Easy share from your android app to social networks
Ximik/rails-brunch
Skeleton React application with Rails 5 and Brunch without Sprockets with step-by-step guide.
Ximik/moment-range
Fancy date ranges for Moment.js
Ximik/sgm
Ximik/DummySlider
jQuery slider which doesn't fuck your css
Ximik/CanadaPost
A Simple Ruby Class that communicates with Canada Post Server and provides a shipping estimate.
Ximik/express-grunt-assets-example
Sample app with assets logic similar to Rails one
Ximik/capistrano-unicorn-nginx
Capistrano tasks for automatic and sensible unicorn + nginx configuration
Ximik/simplemodal-prototype
Prototype plugin to create modal windows
Ximik/simple_attachments
File attachments plugin for Ruby on Rails 3