GithubHelp home page GithubHelp logo

Constantine's Projects

3dviewer icon 3dviewer

Project extracted from https://github.com/teamfx/openjfx-8u-dev-rt/tree/master/apps/samples/3DViewer

act icon act

Run your GitHub Actions locally 🚀

adx icon adx

Experiment in self-authenticating data structures for a federated social network

aho-corasick icon aho-corasick

Aho-Corasick algorithm as implemented in Java by Danny Yoo, with little improvements

alephbft icon alephbft

Rust implementation of Aleph consensus protocol

analytica icon analytica

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also able to deduce correctness of certain simplification steps that would otherwise not be performed.

antlr_psql icon antlr_psql

ANTLR v4 grammar for Postgres SQL v10 (work in progress)

apollo icon apollo

An experimental multi-tenant distributed system platform

appbundle-maven-plugin icon appbundle-maven-plugin

Maven plugin that creates an Application Bundle for OS X containing all your project dependencies and the necessary metadata

asmble icon asmble

Compile WebAssembly to JVM and other WASM tools

backbone-directory icon backbone-directory

Sample Application built with Backbone.js and 3 different UI toolkits: Twitter Bootstrap, jQuery Mobile, and custom iPhone skins

backgrid icon backgrid

Finally, an easily stylable semantic HTML data grid widget with a Javascript API that doesn't suck.

barge icon barge

A JVM Implementation of the Raft Consensus Protocol

barleydb icon barleydb

An alternative take on Java object relational mapping

bayesdb icon bayesdb

A Bayesian database for querying the probable implications of data as easily as SQL databases query the data itself

besu icon besu

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client

blitz4j icon blitz4j

Logging framework for fast asynchronous logging

blockingqueue icon blockingqueue

Tutorial-style talk "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept (check the git history).

blockly icon blockly

The web-based visual programming editor.

bls-signature icon bls-signature

Java Boneh, Lynn, and Shacham (BLS) Signature Aggregation. Implementation of "Aggregate and Verifiably Encrypted Signatures from Bilinear Maps" by Dan Boneh, Ben Lynn, Craig Gentry and Hovav Shacham. https://crypto.stanford.edu/~dabo/pubs/papers/aggreg.pdf

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.