Stories tagged as c – C programming
  1. 3
    Software Verification: Testing vs Model-Checking - Comparative Evaluation of State of the Art (2017) pdf c formalmethods testing sosy-lab.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  2. 11
    Forth Lisp Python Continuum ☶ show c compilers python github.com
    asrp avatar authored by asrp 6 months ago | cached | 8 comments
  3. 14
    Fail-Safe C: Memory-Safe Implementation of Full, ANSI C (2009) c security staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 2 comments
  4. 10
    Vanquish Forever These Bugs That Blasted Your Kingdom c compilers dlang.org
    friendlysock avatar via friendlysock 6 months ago | cached | no comments
  5. 16
    A short tale of a read overflow c debugging antirez.com
    NinjaTrappeur avatar via NinjaTrappeur 7 months ago | cached | no comments
  6. 6
    network-gamepads: Stream input devices (keyboards, mouses, gamepads, etc) over a network connection c linux github.com
    cbdev avatar authored by cbdev 7 months ago | cached | 2 comments
  7. 5
    The cpu_features library c hardware opensource.googleblog.com
    nanxiao avatar via nanxiao 7 months ago | cached | no comments
  8. 2
    Lmod - Environmental Modules System c c++ practices tacc.utexas.edu
    friendlysock avatar via friendlysock 7 months ago | cached | no comments
  9. 5
    Interactive GPU Programming - Part 2 - Hello OpenCL c clojure java programming dragan.rocks
    dragandj avatar authored by dragandj 7 months ago | cached | no comments
  10. 3
    xmake v2.1.9 released, provide user custom menu config c c++ lua programming tboox.org
    ruki avatar authored by ruki 7 months ago | cached | no comments
  11. 18
    Memory Safety in Rust: A Case Study with C c rust willcrichton.net
    calvin avatar via calvin 7 months ago | cached | 9 comments
  12. 11
    I'm implementing menu config based on curses terminal c c++ lua programming github.com
    ruki avatar authored by ruki 7 months ago | cached | 3 comments
  13. 4
    CCHR: The Fastest CHR Implementation, in C (2007) c compilers compsci lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 3 comments
  14. 3
    Complx: A Verification Framework for Concurrent, Imperative Programs (2017) pdf c formalmethods ts.data61.csiro.au
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  15. 15
    dmr on XOR (1995) ☶ c historical c-faq.com
    fcbsd avatar via fcbsd 7 months ago | cached | 1 comment
  16. 16
    Understanding the C/C++ memory model c c++ programming davmac.wordpress.com
    Mex avatar via Mex 7 months ago | cached | 1 comment
  17. 21
    Some obscure C features you might not know about ☶ c testing mort.coffee
    mort avatar authored by mort 7 months ago | cached | 3 comments
  18. 26
    I've been toying with making a testing library for C, and I think it's coming together pretty well. ☶ c practices testing github.com
    mort avatar authored by mort 7 months ago | cached | 22 comments
  19. 8
    Outperforming LAPACK with C metaprogramming c performance programming wordsandbuttons.online
    calvin avatar via calvin 7 months ago | cached | 3 comments
  20. 24
    "Modern" NES Development ☶ assembly c games timcheeseman.com
    cirla avatar authored by cirla 7 months ago | cached | 1 comment
  21. 8
    Comparing Development Costs of Ada and C (1995) pdf c practices programming archive.adaic.com
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments
  22. 7
    Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic (2017) pdf c formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 5 comments
  23. 33
    Building an Operating System for the Rasberry Pi ☶ assembly c jsandler18.github.io
    jsandler18 avatar authored by jsandler18 7 months ago | cached | 1 comment
  24. 3
    Neanderthal and friends support CUDA 9, Java 9, and Clojure 1.9 c c++ clojure java programming dragan.rocks
    dragandj avatar authored by dragandj 7 months ago | cached | no comments
  25. 27
    /proc/<pid>/stat is broken ☶ api c linux
    cbdev avatar authored by cbdev 7 months ago | 44 comments
<< Page 8 | Page 10 >>