Ateleris GmbH

Popular repositories Loading

1. LeGit LeGit Public

   Fast, themeable desktop Git GUI built with Tauri 2, Rust, and React. Dockable panels, full commit graph, hunk- and line-level staging, split/inline diffs, stash and submodule support - all running …

   TypeScript 3

2. qemu qemu Public

   Forked from qemu/qemu

   Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

   C

3. asn1scc asn1scc Public

   Forked from esa/asn1scc

   ASN1SCC: An open source ASN.1 compiler for embedded systems

   F# 1

4. asn1-pusc-lib asn1-pusc-lib Public

   Forked from n7space/asn1-pusc-lib

   ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.

   C

5. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

6. bazar-stt-whisper bazar-stt-whisper Public

   Forked from ClaudioPaonessa/whisper-lagoon

   Python