45 skills found · Page 1 of 2
AndrasKovacs / Elaboration ZooMinimal implementations for dependent type checking and elaboration
AndrasKovacs / SmallttDemo for high-performance type theory elaboration
chipsalliance / SurelogSystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
brendanzab / Language GardenA garden of small programming language implementations 🪴
jonsterling / DreamttA pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
gcallipo / RadioDSP Stm32f103This project RadioDSP define a experimental open platform to build Real Time filtering and audio digital signal elaboration from a source audio signal in output from radio transceiver or receiver. The RadioDSP firmware define some FIR filter and routines to perform real time Noise Reduction based on various algorithm. The target hardware platform is Stm32f103 - Arm Cortex-M3 based processor. Giuseppe Callipo - IK8YFW
AndrasKovacs / Implicit Fun ElaborationImplementation for ICFP 2020 paper
lxn96 / ICPEThe offical code for paper "Breaking Immutable: Information-Coupled Prototype Elaboration for Few-Shot Object Detection"
RehabEngGroup / MOtoNMSMatlab MOtion data elaboration TOolbox for NeuroMusculoSkeletal applications
david-christiansen / Derive All The InstancesWork on type class deriving with elaboration reflection
TOTBWF / TeenyttA Teeny Type Theory
oxpig / SyndirellaGenerates and scores synthetically tractable elaborations from fragment screens
halimbahae / HadithA comprehensive open Hadith Library project featuring full databases of 9 renowned books, including Sahih al-Bukhari and Sahih Muslim, with elaboration and Arabic diacritics for accurate searchability and interpretation.
UFFSEnvModelling / R.landslider.landslide is a free and open source add-on to the open source Geographic Information System (GIS) GRASS software for the mapping of landslide susceptiblity. The tool was developed in Python language and works on the basis of Artificial Neural Networks (ANNs) fed with environmental parameters and landslide databases. The module can be used by natural disaster management bodies and land use planning organs as a support tool for the elaboration of landslide susceptibility maps in an agile and efficient manner.
meilisearch / SpecificationsTrack specification elaboration.
Allegra42 / Thesis Documentation FuchsiaNotes and the actual elaboration for my master's thesis on different operating system approaches.
ice1000 / AnqurElaboration with inductive types
kimeguida / POEMPocket-Oriented Elaboration of Molecules: application to CDK8 inhibition
cyberglot / Faethalgebraic typechecking and elaboration of type systems
Onto-Med / GFOThe General Formal Ontology is a top-level ontology for conceptual modeling. It includes elaborations of categories like objects, processes, time and space, properties, relations, roles, functions, facts, and situations.
