yakmoijebrille

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