-
LASIGE, University of Lisbon
- Lisboa, Portugal
- http://alcidesfonseca.com
- https://orcid.org/0000-0002-0879-4015
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- APL
- ActionScript
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Futhark
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Perl
- Prolog
- Python
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Slash
- Smalltalk
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Typst
- WebAssembly
- XSLT
- Yacc
- Zig
- jq
- reStructuredText
AlexeyAB / darknet
Forked from pjreddie/darknetYOLOv4 / Scaled-YOLOv4 / YOLO - Neural Networks for Object Detection (Windows and Linux version of Darknet )
NVIDIA Linux open GPU kernel module source
Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)
Screaming-fast Python 3.5+ HTTP toolkit integrated with pipelining HTTP server based on uvloop and picohttpparser.
macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.
A small self-contained alternative to readline and libedit
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
A minimal but powerful thread pool in ANSI C
The core software distribution for the Inform 7 programming language.
A lightweight, fast embeddable scripting language.
Python bindings to the Tree-sitter parsing library