Coder Social home page Coder Social logo

portal-co's Projects

ait icon ait

Algorithmic Information Theory, using Binary Lambda Calculus

ax icon ax

Minimal x86-64 emulator for WebAssembly - run ELF binaries in your browser

binaryen icon binaryen

Optimizer and compiler/toolchain library for WebAssembly

binaryen- icon binaryen-

Optimizer and compiler/toolchain library for WebAssembly

blank icon blank

A Go library for block-based readers and writers

blockchain-oracle icon blockchain-oracle

Implementation of a multi-party self-hosted ethereum blockchain oracle. This project is a part of my master thesis on Trustable Blockchain Oracles.

c4 icon c4

C in four functions

caramel icon caramel

A modern syntax for the λ-calculus.

cc_config icon cc_config

Generally useful stuff for C builds using Bazel

cxx icon cxx

Safe interop between Rust and C++

dream2 icon dream2

The Dream build system: a fast and monadic build system for large foss monorepos

elfconv icon elfconv

An experimental AOT compiler that translates Linux ELF binary to WebAssembly

elvm icon elvm

EsoLangVM Compiler Infrastructure

ghc icon ghc

Our version of the Glasgow Haskell Compiler. | For the original, please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

go icon go

The Go programming language

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.