goodmind/idris-typescript

Stars
1
Language Idris
Created over 7 years ago
Updated over 7 years ago

goodmind/idris-typescript

goodmind

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

treact

📢 Telegram React application (TDLIB VERSION IS BEING WORKED ON!)

cycle-telegram

🚲 A Cycle.js Driver for Telegram Bot API

react-telegram

(WIP) A React custom renderer for the Telegram Bot API.

FlowDefinitelyTyped

Convert DefinitelyTyped packages to Flow. This is only blueprints and has ton of errors without editing properly

Infornography

Lightweight screenfetch/archey replacement in Racket, only has features that are absolutely necessary.

babel-flow

Babel with attached inferred Flow types

flow-new-libdef-approach

treact-native

sublime-flowstate

Sublime plugin which deletes what you typing

preval-preset-env

language-typelanguage

Support for the Type Language in Visual Studio Code

tl2typescript

language-typelanguage-atom

Support for the Type Language in Atom

cycle-telegram-bot

Telegram Bot for Cycle.js News Channel

infornography-carp

Lightweight screenfetch/archey replacement in Carp, only has features that are absolutely necessary.

cycle-bem

Cycle.js driver for BEM methodology

telegram-js-webpack-example

concurrent-effector

Concurrent React + Effector playground

cycle-discord

Cycle.js Discord driver

effector-todomvc

tryhaskell-bot

Eval Haskell via tryhaskell.org in Telegram

purescript-mtproto

telegram-mtproto bindings for PureScript

student

Симулятор студента-бездельника на С++

protoapp

Generate SPA from ProtoBuf.js

sunflower-fm

Automatically exported from code.google.com/p/sunflower-fm