GithubHelp home page GithubHelp logo

Shachar Itzhaky's Projects

jscoq icon jscoq

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

jszip icon jszip

Create, read and edit .zip files with Javascript

kanjivg icon kanjivg

Kanji description and vectorial data in correct stroke order

libedit-wasm icon libedit-wasm

This is an autotool- and libtoolized port of the NetBSD Editline library (libedit). This Berkeley-style licensed command line editor library provides generic line editing, history, and tokenization functions, similar to those found in GNU Readline. http://www.thrysoee.dk/editline/

livescript icon livescript

LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.

llvm-project icon llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

llvm.js icon llvm.js

LLVM compiled to JavaScript using Emscripten

lsynci icon lsynci

A small command-line utility in the spirit of lsyncd

make-wasm icon make-wasm

Forked from git://git.savannah.gnu.org/make

memfs icon memfs

In-memory filesystem with Node's API

meteor icon meteor

Meteor, the JavaScript App Platform -- sans the dev_bundle

mujs icon mujs

An embeddable Javascript interpreter in C.

nanotex icon nanotex

A very lean TeX distribution based on TeX Live

napkin icon napkin

Utilities for publishing packages through GitHub

nearley icon nearley

Simple, fast, powerful parsing for JavaScript.

netbsd-curses-wasm icon netbsd-curses-wasm

libcurses and dependencies taken from netbsd and brought into a portable shape (at least to musl or glibc)

node-webrtc icon node-webrtc

node-webrtc is a Node.js Native Addon that provides bindings to WebRTC M95

nw.js icon nw.js

(Fork for unofficial Apple M1 builds) Call all Node.js modules directly from DOM/WebWorker and enable a new way of writing applications with all Web technologies.

ocaml-wasm icon ocaml-wasm

The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel

ocaml-wasm--num icon ocaml-wasm--num

The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution

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.