Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,009–1,032 of 1,911 · Most stars

CAI NEURAL API - Pascal based deep learning neural network API optimized for AVX, AVX2 and AVX512 instruction sets plus OpenCL capable devices including AMD, Intel and NVIDIA.

  • pascal
  • lazarus
  • delphi
  • free-pascal

A modern and easy-to-use cryptographic library for .NET based on libsodium

  • aead
  • aes-gcm
  • blake2b
  • chacha20-poly1305

Yet Another LINQ to Objects for PHP [Simplified BSD]

  • linq
  • php
  • functional-programming
  • query

IL2C - A translator for ECMA-335 CIL/MSIL to C language.

  • cil
  • msil
  • c
  • csharp

Software licensing and registration using digital signatures and public cryptography 🪪

  • licensing
  • software-licensing
  • software-license
  • security

Java cryptographic library that supports Argon2, bcrypt, scrypt and PBKDF2 aimed to protect passwords in databases. Easy to use by design, highly customizable, secure and portable. All the implementations follow the standards and have been reviewed to perform better in the JVM.

  • pbkdf2
  • bcrypt
  • scrypt
  • argon2

This repository contains a subset of pointers to solutions with editorials and notes to my trainees (ACM ICPC, OJs, IOI, POI, CEOI, JOI, etc). For IOI/OI, I organized what I found on the web from official solutions and materials.

A framework for building decision-model harnesses for any kind of task. Your program offers the model a short list of next steps, and the model picks one at a time until it can answer.

  • classifiers
  • decision-models
  • evals
  • llm-harness

SPX is a graphics control client for HTML and OGraf templates for live video productions and live streams using CasparCG, OBS, vMix, or similar software.

  • casparcg
  • client
  • controller
  • server

The Ott tool for writing definitions of programming languages and calculi

Encapsulated object-oriented programming for R

A state-of-the-art distributed system using Reactive DDD as uncertainty modeling, Event Storming as subdomain decomposition, Event Sourcing as an eventual persistence mechanism, CQRS, Async Projections, Microservices for individual deployable units, Event-driven Architecture for efficient integration, and Clean Architecture as domain-centric design

Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models

  • trajectory-optimization
  • differential-dynamic-programming
  • theano
  • dynamics-models