GithubHelp home page GithubHelp logo

Nicola Dardanis's Projects

anki-android icon anki-android

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

clap icon clap

A full featured, fast Command Line Argument Parser for Rust

conduktor-gateway icon conduktor-gateway

Conduktor Gateway is a tool to intercept and then filter and transform requests and responses between clients and Apache Kafka

flix icon flix

The Flix Programming Language

fp-course icon fp-course

Fork of the original Data61 course to be more Stack friendly

loxs icon loxs

Implementations of the lox programming language described in Bob Nystrom's book, Crafting Interpreter

mls-rs icon mls-rs

An implementation of Messaging Layer Security (RFC 9420)

objectstore2019 icon objectstore2019

Final project of the course on operating systems at Unipi a.a. 2018/19

openapi-generator icon openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

opensearch icon opensearch

🔎 Open source distributed and RESTful search engine.

orama icon orama

🌌 Fast, in-memory, typo-tolerant, full-text search engine written in TypeScript.

overwave icon overwave

Exchange data between mobile devices just through waves!

redisson icon redisson

Redisson - Redis Java client with features of In-Memory Data Grid. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Publish / Subscribe, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, MyBatis, RPC, local cache ...

silicon icon silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

snowfs icon snowfs

SnowFS - a fast, scalable version control file storage for graphic files :art:

spring-data-redis icon spring-data-redis

Provides support to increase developer productivity in Java when using Redis, a key-value store. Uses familiar Spring concepts such as a template classes for core API usage and lightweight repository style data access.

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.