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