Goal-directed static analysis tool for JVM languages.

Scala57apache-2.0

9 years ago

Display the Goal Description in the Experience Profle

C#1

8 years ago

Elixir implementation of the Git object storage, but with the goal to implement

Elixir68

3 years ago

This Android application is designed to improve user experience by filtering and

Kotlin26apache-2.0

5 days ago

This Android application is designed to improve user experience by filtering and

Java25apache-2.0

8 days ago

Abyss Engine clean-room reimplementation of Diablo 2, written in C. The goal is

C93mit

7 months ago

cdiablodiablo2

Pakkero is a binary packer written in Go made for fun and educational purpose. I

Go237gpl-3.0

2 years ago

compressionelfelf-binaries

Description AAAAXY is a nonlinear 2D puzzle platformer taking place in imposs

Go221apache-2.0

12 days ago

2dgamegame-development

the goal of this kata is to learn to work incrementally by implementing a cli ar

5mit

4 years ago

bddincrementalkata

[UNMAINTAINED] A goal, task & habit tracker + personal dashboard to focus on wha

Python1665mit

7 months ago

facebook-messengerflowgcp

StoryGameCE ported to Android. In this game the main goal is to make a story wit

Java8bsd-3-clause

last year

This repository introduces PIXIU, an open-source resource featuring the first fi

Jupyter Notebook556mit

last month

aifinancechatgptfintech

AutoFixture is an open source library for .NET designed to minimize the 'Arrange

C#3298mit

7 months ago

assertion-libraryassertionsauto-mocking

WebHostingHub Glyphs is a most comprehensive set of glyph icons available as fon

267

11 years ago

Swap is a new (award winning) take on the classic tile-based puzzle game, where

JavaScript158cc-by-sa-4.0

6 years ago

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branc

C++918apache-2.0

2 years ago

afldata-flow-analysisfuzzer

The goal of pandas-log is to provide feedback about basic pandas operations. It

Python214mit

3 years ago

Kavita is a fast, feature rich, cross platform reading server. Built with the go

C#6414gpl-3.0

3 days ago

cbzcomicinfocomics

Sym is a command line utility and a Ruby API that makes it trivial to encrypt an

Ruby136other

last year

Mockery is a simple yet flexible PHP mock object framework for use in unit testi

PHP10634bsd-3-clause

2 months ago

mockmockerymocking

A tool and python library that helps when interfacing with Ansible directly or a

Python947other

4 months ago

Description Play the classic Air Hockey arcade game now with sound effects! I

1013cc0-1.0

7 months ago

awesomeawesome-listflame

Description The goal of the app is to collect barrier data in public transpor

Dart80gpl-3.0

last month

accessibilityflutteropenstreetmap

Vue 3 color picker component whose goal is to replace <input type="color">

Vue24mit

4 months ago

תיאור OpenEar is an open source ear training app for musicians. It's goa

TypeScript104

yesterday

Dapper Extensions is a small library that complements Dapper by adding basic CRU

C#1783

10 months ago

Damselfly is a server-based Photograph Management app. The goal of Damselfly is

C#1500gpl-3.0

last month

blazordockerefcore

Documentation on goals of the coq-community organization, the shared contributin

68other

7 months ago

community-drivencoqmanifesto

API and js-function to allow client-side triggering of Sitecore events / goals a

C#5mit

2 years ago

Simple FOSS android app to help you plan and manage your savings goals easily an

Kotlin630mit

11 days ago

androidandroid-appdagger-hilt

Description Save The Potato – Get ready for some non-stop, spin-tastic fun!

Dart35other

27 days ago

Description Keep slim or get big, it's up to you. FitBook helps you stay on t

Dart52mit

3 months ago

A habit tracker app which treats your goals like a Role Playing Game.

JavaScript12022other

4 days ago

cssexpresshabitica

Description HN Reader is made for iOS 8 and entirely developed in Swift.Never

Swift1707gpl-2.0

4 years ago

Description Next-Generation Hiddify VPN ClientHiddify is an open source softw

Dart17613other

6 days ago

clashclashmetaech

Description Kitten Tricks is an app based on react-native and UI Kitten libra

TypeScript7172mit

9 months ago

androiddemo-appios

Leantime is a goals focused project management system for non-project managers.

PHP4599agpl-3.0

3 days ago

agileasanacalendar

Description Plan, Organize & WriteBring projects, wikis, and teams together w

Dart58164agpl-3.0

4 days ago

content-managementcontent-serviceseditor

Description ** Featured by Apple on "Best New Apps & Updates" and "Best Calen

Shell8899mit

10 months ago

bashclicommand-line-tool

Description Ready for the 30 Day Fitness Challenge? Start training today to s

Swift719mit

2 years ago

ioskatanamvvm

Description Our new Assessment mode is the ultimate challenge for any musicia

TypeScript1452bsd-3-clause

2 months ago

digital-sheet-musicmusicmusic-notation

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft

Goal-directed static analysis tool for JVM languages.

Scala57apache-2.0

9 years ago

Display the Goal Description in the Experience Profle

C#1

8 years ago

Elixir implementation of the Git object storage, but with the goal to implement

Elixir68

3 years ago

This Android application is designed to improve user experience by filtering and

Kotlin26apache-2.0

5 days ago

This Android application is designed to improve user experience by filtering and

Java25apache-2.0

8 days ago

Abyss Engine clean-room reimplementation of Diablo 2, written in C. The goal is

C93mit

7 months ago

cdiablodiablo2

Pakkero is a binary packer written in Go made for fun and educational purpose. I

Go237gpl-3.0

2 years ago

compressionelfelf-binaries

Description AAAAXY is a nonlinear 2D puzzle platformer taking place in imposs

Go221apache-2.0

12 days ago

2dgamegame-development

the goal of this kata is to learn to work incrementally by implementing a cli ar

5mit

4 years ago

bddincrementalkata

[UNMAINTAINED] A goal, task & habit tracker + personal dashboard to focus on wha

Python1665mit

7 months ago

facebook-messengerflowgcp

StoryGameCE ported to Android. In this game the main goal is to make a story wit

Java8bsd-3-clause

last year

This repository introduces PIXIU, an open-source resource featuring the first fi

Jupyter Notebook556mit

last month

aifinancechatgptfintech

AutoFixture is an open source library for .NET designed to minimize the 'Arrange

C#3298mit

7 months ago

assertion-libraryassertionsauto-mocking

WebHostingHub Glyphs is a most comprehensive set of glyph icons available as fon

267

11 years ago

Swap is a new (award winning) take on the classic tile-based puzzle game, where

JavaScript158cc-by-sa-4.0

6 years ago

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branc

C++918apache-2.0

2 years ago

afldata-flow-analysisfuzzer

The goal of pandas-log is to provide feedback about basic pandas operations. It

Python214mit

3 years ago

Kavita is a fast, feature rich, cross platform reading server. Built with the go

C#6414gpl-3.0

3 days ago

cbzcomicinfocomics

Sym is a command line utility and a Ruby API that makes it trivial to encrypt an

Ruby136other

last year

Mockery is a simple yet flexible PHP mock object framework for use in unit testi

PHP10634bsd-3-clause

2 months ago

mockmockerymocking

A tool and python library that helps when interfacing with Ansible directly or a

Python947other

4 months ago

Description Play the classic Air Hockey arcade game now with sound effects! I

1013cc0-1.0

7 months ago

awesomeawesome-listflame

Description The goal of the app is to collect barrier data in public transpor

Dart80gpl-3.0

last month

accessibilityflutteropenstreetmap

Vue 3 color picker component whose goal is to replace <input type="color">

Vue24mit

4 months ago

תיאור OpenEar is an open source ear training app for musicians. It's goa

TypeScript104

yesterday

Dapper Extensions is a small library that complements Dapper by adding basic CRU

C#1783

10 months ago

Damselfly is a server-based Photograph Management app. The goal of Damselfly is

C#1500gpl-3.0

last month

blazordockerefcore

Documentation on goals of the coq-community organization, the shared contributin

68other

7 months ago

community-drivencoqmanifesto

API and js-function to allow client-side triggering of Sitecore events / goals a

C#5mit

2 years ago

Simple FOSS android app to help you plan and manage your savings goals easily an

Kotlin630mit

11 days ago

androidandroid-appdagger-hilt

Description Track activity streaks, see detailed workout stats, get better al

Swift3951mit

5 months ago

carthagecocoapodsdebug

Description Save The Potato – Get ready for some non-stop, spin-tastic fun!

Dart35other

27 days ago

Description Keep slim or get big, it's up to you. FitBook helps you stay on t

Dart52mit

3 months ago

A habit tracker app which treats your goals like a Role Playing Game.

JavaScript12022other

4 days ago

cssexpresshabitica

Description The main feature of this app is there is no "stop" option. Once y

Kotlin253gpl-3.0

5 days ago

appproductivity

Description HN Reader is made for iOS 8 and entirely developed in Swift.Never

Swift1707gpl-2.0

4 years ago

Description Next-Generation Hiddify VPN ClientHiddify is an open source softw

Dart17613other

6 days ago

clashclashmetaech

Description Kitten Tricks is an app based on react-native and UI Kitten libra

TypeScript7172mit

9 months ago

androiddemo-appios

Leantime is a goals focused project management system for non-project managers.

PHP4599agpl-3.0

3 days ago

agileasanacalendar

Description Plan, Organize & WriteBring projects, wikis, and teams together w

Dart58164agpl-3.0

4 days ago

content-managementcontent-serviceseditor

Description ** Featured by Apple on "Best New Apps & Updates" and "Best Calen

Shell8899mit

10 months ago

bashclicommand-line-tool

Description Ready for the 30 Day Fitness Challenge? Start training today to s

Swift719mit

2 years ago

ioskatanamvvm

Description Expecting? Watch your baby grow every day with Ovia Pregnancy! Ov

Swift916mit

3 months ago

cardscardstackcardview

Description Our new Assessment mode is the ultimate challenge for any musicia

TypeScript1452bsd-3-clause

2 months ago

digital-sheet-musicmusicmusic-notation

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft