Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by octokerbs
A curated list of projects in awesome lists by octokerbs .
https://github.com/octokerbs/fcen-paradigmasdeprogramacion
Functional programming - Structural induction - Resolution algorithm - Inference algorithm - Formal proof- Logic programming - Object-oriented programming
haskell logic prolog smalltalk
Last synced: 02 Feb 2025
https://github.com/octokerbs/lego-dark-theme
A visually stunning and consistent dark theme for VS Code, inspired by the Material Theme Dark High Contrast and Visual Assist from Visual Studio.
material-theme theme visual-assist vscode-extension vscode-theme
Last synced: 30 Jan 2025
https://github.com/octokerbs/fcen-sistemasoperativos
Process communication - Process scheduling - Process synchronization patterns - Memory management - Input/Output devices - Drivers programming - Security File systems - Virtualization - Distributed systems
c cpp process security-vulnerability semaphore-pattern
Last synced: 03 Feb 2025
https://github.com/octokerbs/fcen-algoritmos-1
Problem specification - Specification languages - Loop invariant - Weakest precondition - Testing - Searching algorithms - Sorting algorithms - Big O notation -
cpp logic specification weakest-preconditions
Last synced: 03 Feb 2025
https://github.com/octokerbs/fcen-algoritmos-2
Software specification - Abstract data types - Big O notation and complexity theory - Software design - Sorting algorithms - Divide and conquer algorithms
abstract-data-types bigonotation cpp sorting-algorithms
Last synced: 03 Feb 2025