Git Product home page Git Product logo

fuath's Projects

infer icon infer

A static analyzer for Java, C, C++, and Objective-C

ink icon ink

🌈 React for interactive command-line apps

ink-1 icon ink-1

inkle's open source scripting language for writing interactive narrative.

inlets icon inlets

Expose your local endpoints to the Internet

io-ts icon io-ts

Runtime type system for IO decoding/encoding

isabelle-hott icon isabelle-hott

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

jobs-done icon jobs-done

A ritual app for ending the work day inspired by Deep Work

joker icon joker

Small Clojure interpreter and linter

jq icon jq

Command-line JSON processor

js-code-to-svg-flowchart icon js-code-to-svg-flowchart

js2flowchart - a visualization library to convert any JavaScript code into beautiful SVG flowchart. Learn other’s code. Design your code. Refactor code. Document code. Explain code.

jschannel icon jschannel

A JavaScript library which implements fancy IPC semantics on top of postMessage.

jscity icon jscity

Visualizing JavaScript source code as navigable 3D cities

jscoq icon jscoq

A port of Coq to Javascript -- Run Coq in your Browser

jsdiff icon jsdiff

A javascript text differencing implementation.

jsfuck icon jsfuck

Write any JavaScript with 6 Characters: []()!+

jspdf icon jspdf

Client-side JavaScript PDF generation for everyone.

jsverify icon jsverify

Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.

juno icon juno

Smart Contracts Running on a BFT Hardened Raft

kaldi icon kaldi

This is now the official location of the Kaldi project.

kilo icon kilo

A text editor in less than 1000 LOC with syntax highlight and search.

knex icon knex

A query builder for PostgreSQL, MySQL and SQLite3, designed to be flexible, portable, and fun to use.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    πŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. πŸ“ŠπŸ“ˆπŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❀️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.