Shaare your links...
5128 links
yakmoijebrille Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
page 1 / 1
16 results for tags C x
  • Allan Blanchard's webpage – Frama-C+WP Tutorial
    Comment faire de la preuve formelle en C
    Wed May 10 08:07:28 2023 - permalink -
    - https://allan-blanchard.fr/frama-c-wp-tutorial.html
    C coq preuve programmation
  • Async Rust vs RTOS showdown! - Blog - Tweede golf
    Rust vs C sur un microcontrôleur.
    Tue Feb 1 13:31:49 2022 - permalink -
    - https://tweedegolf.nl/en/blog/65/async-rust-vs-rtos-showdown
    C embarqué microcontrôleur rust
  • Rust for Embedded C Programmers | OpenTitan Documentation
    Rust pour les développeurs C embarqué
    Mon Jan 24 12:47:48 2022 - permalink -
    - https://docs.opentitan.org/doc/ug/rust_for_c/index.html
    c embarqué programmation rust
  • The CBMC Homepage
    Un «Bounded Model Checker» pour le C et le C++
    Thu Oct 28 08:53:36 2021 - permalink -
    - https://www.cprover.org/cbmc/
    C C++ checking preuve rust
  • Linux Serial Ports Using C/C++ | mbedded.ninja
    Bonne référence sur l'usage du port série en C sous Linux.
    Sun Feb 14 08:53:13 2021 - permalink -
    - https://blog.mbedded.ninja/programming/operating-systems/linux/linux-serial-ports-using-c-cpp/
    C linux serial uart
  • PipelineC: Un HDL en C ?
    Pipeline C permet de décrire un composant numérique en C puis de générer du VHDL pour la synthèse.
    Wed Aug 19 08:35:46 2020 - permalink -
    - https://github.com/JulianKemmerer/PipelineC
    C flf hdl python vhdl
  • Bug C du jour | Mon petit coin de oueb
    Un bug qui m'a bien fait chier. Alors je partage ;)
    Wed Dec 5 19:06:16 2018 - permalink -
    - http://www.fabienm.eu/wordpress/?p=1210
    bug C programmation
  • CompCert - Main page
    Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V
    Thu Nov 15 16:48:25 2018 - permalink -
    - http://compcert.inria.fr/
    C compilateur formal riscv
  • Build demo application from source? - HiFive1 - SiFive Forums
    cd freedom-e-sdk
    make software PROGRAM=led_fade
    make upload PROGRAM=led_fade
    Sat Sep 15 16:47:41 2018 - permalink -
    - https://forums.sifive.com/t/build-demo-application-from-source/1607/3
    C hifive1 riscv
  • The printf command [Bash Hackers Wiki]
    /me découvre la vie. Je viens de découvrir qu'il y a une commande bash printf ! Elle se comporte grosso-modo comme la fonction C :

    $ printf 'coucou %.02f\n' 2,9876
    coucou 2,99
    Tue Jul 24 11:16:53 2018 - permalink -
    - http://wiki.bash-hackers.org/commands/builtin/printf
    bash C printf truc
  • Fast Fourier Transform
    Comment calculer une FFT
    Thu Mar 29 14:37:30 2018 - permalink -
    - http://paulbourke.net/miscellaneous/dft/
    C fft math programmation
  • panda.dei.polimi.it | A framework for Hardware-Software Co-Design of Embedded Systems
    Le projet de framework HDL libre de l'université de Milan
    Thu Aug 31 10:22:02 2017 - permalink -
    - https://panda.dei.polimi.it/
    C flf fpga open-source panda verilog vhdl
  • FPGAs in C with Cynth | Hackaday
    La news hackaday sur Cynth, le soft de conversion de programme C en verilog.
    Thu Apr 27 08:29:30 2017 - permalink -
    - http://hackaday.com/2017/04/26/fpgas-in-c-with-cynth/
    C flf fpga verilog
  • Compilateur C vers Verilog
    Mon Apr 17 13:52:20 2017 - permalink -
    - https://github.com/cseed/cynth
    C flf scala verilog
  • Peut-on compiler un programme Python ? | Sam & Max: Python, Django, Git et du cul
    oui !
    Sun May 11 19:38:51 2014 - permalink -
    - http://sametmax.com/peut-on-compiler-un-programme-python/
    C compilation python
  • inih - Revision 28: /trunk
    Une petite lib écrite en C pour parser des fichiers de config .ini
    Tue Sep 10 14:21:18 2013 - permalink -
    - http://inih.googlecode.com/svn/trunk/
    C ini programmation
Links per page: 20 50 100
page 1 / 1
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.