50 skills found · Page 1 of 2
mindedsecurity / JStilleryAdvanced JavaScript Deobfuscation via Partial Evaluation
basilTeam / BasilFast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
bytecodealliance / Wevalthe WebAssembly partial evaluator
AnyDSL / MimIRMimIR is my Intermediate Representation
FREVA-CLINT / ClimatereconstructionAISoftware to train/evaluate models to reconstruct missing values in climate data (e.g., HadCRUT4) based on a U-Net with partial convolutions
airbus-cert / VbSparkleVBScript & VBA source-to-source deobfuscator with partial-evaluation
mll-lab-nu / Theory Of SpaceTHEORY OF SPACE: a benchmark for evaluating whether foundation models can actively explore under partial observability efficiently to build, update, and exploit globally consistent spatial beliefs.
EnnaSachdeva / Recurrent Multiagent Deep Deterministic Policy Gradient With Difference RewardsDeep Reinforcement Learning (DRL) algorithms have been successfully applied to a range of challenging simulated continuous control single agent tasks. These methods have further been extended to multiagent domains in cooperative, competitive or mixed environments. This paper primarily focuses on multiagent cooperative settings which can be modeled for several real world problems such as coordination of autonomous vehicles and warehouse robots. However, these systems suffer from several challenges such as, structural credit assignment and partial observability. In this paper, we propose Recurrent Multiagent Deep Deterministic Policy Gradient (RMADDPG) algorithm which extends Multiagent Deep Determinisitic Policy Gradient algorithm - MADDPG \cite{lowe2017multi} by using a recurrent neural network for the actor policy. This helps to address partial observability by maintaining a sequence of past observations which networks learn to preserve in order to solve the POMDP. In addition, we use reward shaping through difference rewards to address structural credit assignment in a partially observed environment. We evaluate the performance of MADDPG and R-MADDPG with and without reward shaping in a Multiagent Particle Environment. We further show that reward shaped RMADDPG outperforms the baseline algorithm MADDPG in a partially observable environmental setting.
bertiqwerty / ExmexMath parser and evaluator in Rust, capable of partial differentiation, allows the use of custom operators.
m1el / EsdeobfuscatePoC JavaScriopt AST deobfuscator based on partial evaluation.
CTF-for-Science / Ctf4scienceWelcome to the CTF for Science Framework, a modular and extensible platform designed for benchmarking modeling methods on dynamic systems. This framework supports the evaluation and comparison of models for systems like ordinary differential equations and partial differential equations using standardized datasets and metrics.
erezsh / LambdaXPartial evaluation for Python with syntactic sugar
stamourv / Partial Evaluation TutorialRacket implementation of Cook and Lämmel's partial evaluation tutorial.
jferrater / Opa Data Filter Spring Boot StarterSpring Boot library for enforcing authorization on Spring Data JPA and MongoDB by filtering data using the Open Policy Agent (OPA) partial evaluation feature.
jamezilla / AtsATS is a spectral modeling system based on a sinusoidal plus critical-band noise decomposition. Psychoacoustic processing informs the system's sinusoidal tracking and noise modeling algorithms. Perceptual Audio Coding (PAC) techniques such as Signal-to-Mask Ratio (SMR) evaluation are used to achieve perceptually accurate sinusoidal tracking. SMR values are also used as a psychoacoustic metric to determine the perceptual relevance of partials during analysis data postprocessing. The system's noise component is modeled using Bark-scale frequency warping and sub-band noise energy evaluation. Noise energy at the sub-bands is then distributed on a frame-by-frame basis among the partials resulting in a compact hybrid representation based on noise modulated sinusoidal trajectories.
fjarri / PevalPartial evaluation of Python code
leuschel / LogenOffline partial evaluation system for Prolog written using the cogen approach
claradepaolis / CAFA Evaluator PKEvaluator used for CAFA 4 onward that adds Partial Knowledge evaluation functionality to the original CAFA evaluator (https://github.com/BioComputingUP/CAFA-evaluator)
nanxstats / EnplsAlgorithmic framework for measuring feature importance, outlier detection, model applicability evaluation, and ensemble predictive modeling with (sparse) partial least squares regressions.
mikesperber / PggThe PGG Partial Evaluation System for Scheme 48
