GithubHelp home page GithubHelp logo

Modestas Valauskas's Projects

abstract_dart icon abstract_dart

A collection of algebraic structures borrowed from abstract algebra. Semigroup, Monoid, Group & Field.

abstract_lerp icon abstract_lerp

A package that gives you interpolation on Fields from abstract_dart

alfred icon alfred

A performant, expressjs like server framework with a few gadgets that make life even easier.

allens_coq icon allens_coq

Testing the ergonomics of Coq as a type safe language for working with Allen's Interval Algebra.

archive icon archive

Dart library to encode and decode various archive and compression formats, such as Zip, Tar, GZip, ZLib, and BZip2.

bluff icon bluff

A static website generator in Dart.

cities.dart icon cities.dart

A dataset containing 2.6 million cities that can be used by benchmarks or demos. Zero third party dependencies and completely self-contained.

collection icon collection

The collection package for Dart contains a number of separate libraries with utility functions and classes that makes working with collections easier.

coq_model icon coq_model

Testing the ergonomics of Coq wrt to writing models.

croaring icon croaring

Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations

csv icon csv

A dart csv to list codec / converter

dart-xml icon dart-xml

Lightweight library for parsing, traversing, and transforming XML in Dart.

dartz icon dartz

Functional programming in Dart

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.