1
5

Check out our open-source, language-agnostic mutation testing tool using LLM agents here: https://github.com/codeintegrity-ai/mutahunter

Mutation testing is a way to verify the effectiveness of your test cases. It involves creating small changes, or “mutants,” in the code and checking if the test cases can catch these changes. Unlike line coverage, which only tells you how much of the code has been executed, mutation testing tells you how well it’s been tested. We all know line coverage is BS.

That’s where Mutahunter comes in. We leverage LLM models to inject context-aware faults into your codebase. As the first AI-based mutation testing tool, Mutahunter surpasses traditional “dumb” AST-based methods. Our AI-driven approach provides a full contextual understanding of the entire codebase, enabling it to identify and inject mutations that closely resemble real vulnerabilities. This ensures comprehensive and effective testing, significantly enhancing software security and quality.

We’ve added examples for JavaScript, Python, and Go (see /examples). It can theoretically work with any programming language that provides a coverage report in Cobertura XML format (more supported soon) and has a language grammar available in TreeSitter.

Check it out and let us know what you think! We’re excited to get feedback from the community and help developers everywhere improve their code quality.

2
14

cross-posted from: https://lemmy.dbzer0.com/post/22889071

hydroxide-push is a fork of hydroxide for receiving Proton Mail push notifications for via UnifiedPush created by @oranki@lemmy.world
Thanks a lot for creating this awesome project!

This is going to be very useful, until Proton finally implements native UP support in their Android apps. (They currently only support Google's proprietary FCM). Make sure to upvote this feature request: https://protonmail.uservoice.com/forums/284483-proton-mail/suggestions/47423924-support-unifiedpush-for-android-notifications

Consider contributing to the project and make sure to report any bugs that you find.

3
5

Changelog

v1.24.4 - 2024-06-24 - Flat Sun

Focus in this release has been on improving and refactoring frontend code, adding UI features such as column and row hiding and locking through Visibility and Position meta classes. Other UI related features, such as supporting the height and width of individual cells have also been implemented, allowing for column and row span functionality.

Additional frontend changes include adding a marker, which allows cells to be selected and improves the way input is passed on to underlying UI cell content. This allows for better widget and chart functionality among other improvements for code that wishes to extend the frontend functionality.

Finally, a more flexible approach is now supported around providing custom HTML/CSS/JS allowing for alternative styling and other such changes to the frontend rendering. Two view configs are provided out of the box to illustrate this, the compact and the spacious, with compact being the default choice when using show(..).

It is expected that this will be the final alpha release of v1.

Added

  • Add a cell marker, allowing cells to be selected with input passed to underlying cell content
  • Add functionality to position columns to the left or right and rows to the top or bottom
  • Add functionality to hide columns and rows
  • Add support for custom UI config with custom HTML/CSS/JS
  • Implement cell height and width rendering when these are defined on cell

Fixed

  • Nothing

Changed

  • Rename init parameter to receiver for on(..) functions and process to processor on related for improved API intuition
  • Change HTML structure of cells, also harmonize this with column and row headers
  • Update widgets and charts to work with frontend changes
  • Various documentation updates relating to changes

Removed

  • Nothing
4
8

cross-posted from: https://lemm.ee/post/33919397

Here's a Video about this

5
13
submitted 3 weeks ago* (last edited 3 weeks ago) by dallen@programming.dev to c/cool_github_projects@programming.dev

Repo: https://github.com/damienallen/urban-heat

cross-posted from: https://programming.dev/post/14939898

I wanted to share a small project I've been working on. The goal was to make the data from NASA's Landsat Thermal Infrared Sensor more accessible to the general public.

I worked with the raw temperature band data to general annual maximum surface temperature raster images for large urban areas covered by the Eurostat GISCO Urban Audit. In the browser, these images are transformed into easier to interpret isotherm contours with some adjustable settings.

I don't have a specific target audience in mind. The map could help identify areas of refuge for the warmer months, or overheated neighborhoods to avoid as we march towards a toasty future.

Feedback is welcome :)

6
8

Awesome Android Apps

AAA

Hi all,

for 2 years, sporadically, I've been adding awesome FOSS apps with the following:

Rules

  • Open Sourced
  • Free of charge (on F-Droid and source code repository releases)
  • Free as in Freedom
  • Ad-free
  • Installed and tested by me or by contributor
  • Privacy-friendly aware
  • Easy to use
  • Still in development or polished experience
  • Does not lack features compared to proprietary app
  • Does not need an account (the only exceptions are self-hosted) apps)
  • Has dark theme

...tested by my and then later by contributors. I think many of you will appreciate this simple README.md repo, and I would love some help with it.

🏔️ Codeberg version

I hope you will find it useful! 🤩

7
6

cross-posted from: https://lemmy.world/post/15959537

Hadn't seen this here yet, a co-worker of mine sent it my way so I'm just spreading the word. Looks interesting, to say the least! Anyone tried this out or had any other experience with it yet?

8
15
9
27
10
20
11
-5
12
18
My LaTeX book (lemmy.world)

Better design, new features and readme.

... and this is the most popular open source LaTeX book on github ❤️

https://github.com/AnMnv/eBook

13
19
14
1
15
22
submitted 1 month ago* (last edited 1 month ago) by Andromxda@lemmy.dbzer0.com to c/cool_github_projects@programming.dev

cross-posted from: https://programming.dev/post/13590224

Let me know your feedback, especially if you haven't learned awk yet!

16
16

cross-posted from: https://lemmy.world/post/14433560

Hi open source community!

This is a follow up to a previous post where I got a lot of really good feedback on this resume template. I've made some changes to the template that takes much of the feedback into account and I also added some new features that should make the template more useable for a wide variety of people.

If you have any further feedback please feel free to share!

To use this template on the typst web app, see here: https://typst.app/universe/package/modern-cv

Some screenshots of what the template looks like/can produce.

17
10
18
9

Tie-in is a relational data component library that lets you store and query records that can be related to any other record.

The relationships in a database are usually defined between columns across tables. In Tie-in, however, relationships can be defined between individual records. Relationships can also have types, so you can have multiple relationships between two records.

The ability to associate a record with any other record in any table opens up new possibilities that are hard to accomplish with conventional column-based relationships. In addition, since relationships are dynamic, no schema changes are necessary to define new relationships.

19
6

Changelog

v1.24.3 - 2024-04-06 - Aged Moon

The theme of this release is about stabilizing core APIs, cleaning them up, improving type safety and other related refactorings where needed. These changes make it clearer what types are accepted and removes some approaches that previously could be confusing to the API user, such as with contains(..) and invoke(..).

As part of this change, Unit, rather than null, is encouraged when clearing values (be that in a table/view or in meta classes). Nulls are still supported most places to clear values, but must now have a specified type.

The core APIs are unlikely to change drastically after this release, but new data types and new features are expected.

Added

  • Tighten equals checks with added support for contains across Table, Column, Row, Cell, and meta classes
  • Add source to tableView and make source on Table public
  • Cache transformed tables obtained via tableView[Table]
  • Various test case improvements, better coverage
  • Various related documentation improvements
  • Add asBoolean and asString on Cell

Fixed

  • Fix issue with BasicFunctions on cell clear + added tests
  • Tidy up some edge cases on Table related iterators
  • Avoid accidental column create when not wanted

Changed

  • Simplified registry interactions and how tables/views are initially created and then obtained again through Table[..]
  • Refactor transformer APIs and add support for TableTransformer, ColumnTransformer, and RowTransformer
  • Update column filter on load functions to match column transformer function
  • Change setters to accept nullable types, encourage use of Unit to reset
  • Simplify class structure by removing BaseTable, BaseColumn, and BaseRow
  • Change Cells constructor API to better match overall API with Cells[..]
  • Refactor invoke(..) for better type safety and a more intuitive API
  • Tighten acceptable types in contains(..) functions
  • Allow columns to recreate themselves if needed

Removed

  • Nothing
20
30

Seems interesting. It covers the basics and it's easier to setup than Sensu that I use today.

21
9
22
19
23
7
submitted 3 months ago* (last edited 3 months ago) by leanleft@lemmy.ml to c/cool_github_projects@programming.dev
24
11
25
9
view more: next ›

Cool GitHub Projects

1172 readers
4 users here now

Wormhole

!code_review@programming.dev

Icon base by Caro Asercion under CC BY 3.0 with modifications to add a gradient

founded 1 year ago
MODERATORS