🐞
Chasing bugs
PhD, R&D Engineer, mainly working on Embedded Systems, Embedded Linux and Robotics
- Paris, France
-
10:03
(UTC +02:00) - https://abougouffa.github.io
- https://orcid.org/0000-0002-0323-1424
- in/abougouffa
Highlights
Lists (2)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- Ada
- Arduino
- Assembly
- AutoIt
- Awk
- Batchfile
- BitBake
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- D
- Dart
- Dockerfile
- Eagle
- Emacs Lisp
- Erlang
- F*
- Fortran
- FreeBASIC
- Go
- HTML
- Handlebars
- Haskell
- Inno Setup
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Meson
- Metal
- Modula-2
- Mojo
- NSIS
- Nix
- OCaml
- Objective-C
- Odin
- OpenSCAD
- Org
- PHP
- Pascal
- Perl
- PostScript
- Prolog
- Python
- QML
- R
- Racket
- Rascal
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Scheme
- Scilab
- Shell
- Swift
- SystemVerilog
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- XSLT
- Xtend
- YASnippet
- Zig
Starred repositories
2
stars
written in Prolog
Clear filter
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
Stabilizer: Rigorous Performance Evaluation