Popular repositories Loading

1. Hakkapeliitta Hakkapeliitta Public

   A state of the art chess engine written in C++11

   C++ 30 7

2. Serkr Serkr Public

   An automated theorem prover for first order logic.

   Rust 28 2

3. dart_console dart_console Public

   Forked from onepub-dev/dart_console

   Dart library for writing console applications

   Dart

4. EFRConnect-ios EFRConnect-ios Public

   Forked from hohteri/EFRConnect-ios

   This is the source code for the EFR Connect application for iOS.

   Swift

5. flutter-permission-handler flutter-permission-handler Public

   Forked from Baseflow/flutter-permission-handler

   Permission plugin for Flutter. This plugin provides a cross-platform (iOS, Android) API to request and check permissions.

   Dart