Modestas Valauskas's repositories

extra_pedantic

Stricter Dart analyzer linter settings and best practices.

Language:DartLicense:NOASSERTIONStargazers:34Issues:1Issues:55

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.

Language:DartLicense:MITStargazers:1Issues:1Issues:7

coq_model

Testing the ergonomics of Coq wrt to writing models.

Language:CoqStargazers:1Issues:1Issues:0

graphs

Random graphs that I created at some point to help me visualize things.

roaring_dart

Dart CRoaring bindings.

Language:CStargazers:1Issues:1Issues:0

alfred

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

Language:DartStargazers:0Issues:0Issues:0

algorithms-in-dart

Implementation of data structures and algorithms in Dart programming language.

Language:DartStargazers:0Issues:0Issues:0

allens_coq

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

Language:CoqStargazers:0Issues:1Issues:0

CRoaring

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

dart-xml

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

Language:DartLicense:MITStargazers:0Issues:0Issues:0

dart_console

Dart library for writing console applications

Language:DartStargazers:0Issues:0Issues:0
Language:DartLicense:MITStargazers:0Issues:1Issues:0

dart_shared_libray

An attempt to package Dart into a usable shared library (.dll / .so)

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

DFTA

Determinisation and Completion of Finite Tree Automata

Language:JavaStargazers:0Issues:0Issues:0

dlox_fork

🌀 A full-featured VM written in dart

Language:DartLicense:MITStargazers:0Issues:0Issues:0

fire.dart

Hot restart for Dart console application with fast incremental compilation.

Language:DartLicense:MITStargazers:0Issues:0Issues:0

flutter

Flutter makes it easy and fast to build beautiful mobile apps.

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hello_assembly

assembly on macos

Language:DartStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:0Issues:0

LPG-Dart-runtime

Dart-runtime for LPG

Language:DartLicense:EPL-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

radix-tree.dart

Dart implementation of the Radix Tree data structure.

Language:DartLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

sdk

The Dart SDK, including the VM, dart2js, core libraries, and more.

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

tigr.dart

Tigr (https://github.com/erkkah/tigr) Dart bindings.

Language:CLicense:UnlicenseStargazers:0Issues:1Issues:0

typed_data

Utility functions and classes that makes working with typed data lists easier in Dart

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

wasm

Utilities for loading and running WASM modules from Dart code

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:2Issues:0