Topic: "semantics"
go101/go101
An up-to-date (unofficial) knowledge base for Go programming self learning
Language: HTML - Size: 9.33 MB - Last synced at: 1 day ago - Pushed at: 14 days ago - Stars: 5,873 - Forks: 437
unsplash/datasets
🎁 5,400,000+ Unsplash images made available for research and machine learning
Language: Jupyter Notebook - Size: 65.4 KB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 2,530 - Forks: 127
MIT-SPARK/Kimera
Index repo for Kimera code
Size: 59.5 MB - Last synced at: 23 days ago - Pushed at: about 4 years ago - Stars: 1,892 - Forks: 235
aquametalabs/aquameta
Web development platform built entirely in PostgreSQL
Language: PLpgSQL - Size: 42.6 MB - Last synced at: 11 days ago - Pushed at: 5 months ago - Stars: 1,095 - Forks: 52
protegeproject/protege
Protege Desktop
Language: Java - Size: 42.9 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1,066 - Forks: 236
neo4j-labs/neosemantics
Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧
Language: Java - Size: 9.81 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 866 - Forks: 145
nicolas-hbt/pygraft
Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips
Language: Python - Size: 699 KB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 682 - Forks: 45
protegeproject/webprotege
The webprotege code base
Language: Java - Size: 66.6 MB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 650 - Forks: 254
thunlp/OpenHowNet
Core Data of HowNet and OpenHowNet Python API
Language: Python - Size: 259 MB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 617 - Forks: 88
AmosHuKe/Mood-Example
🐦 Flutter 3 心情记录 样例工程 - 国际化 i18n、uni 小程序、深色模式、多主题、本地数据管理、路由管理、状态管理、无障碍（Semantics）、异步 FFI、集成测试、图表统计、Excel 导入导出、游戏…
Language: Dart - Size: 182 MB - Last synced at: 6 days ago - Pushed at: 18 days ago - Stars: 516 - Forks: 83
jbarrasa/goingmeta
code and resources used in the Going Meta sessions
Language: Jupyter Notebook - Size: 43.9 MB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 493 - Forks: 86
pysemtec/semantic-python-overview
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
Size: 89.8 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 485 - Forks: 33
msg-systems/holmes-extractor
Information extraction from English and German texts based on predicate logic
Language: Python - Size: 1.51 MB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 390 - Forks: 38
rkirsling/modallogic
Modal Logic Playground
Language: JavaScript - Size: 164 KB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 370 - Forks: 56
SmartDataAnalytics/Knowledge-Graph-Analysis-Programming-Exercises
Exercises for the Analysis of Knowledge Graphs
Language: Jupyter Notebook - Size: 7.92 MB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 276 - Forks: 72
PRBonn/bonnetal
Bonnet and then some! Deep Learning Framework for various Image Recognition Tasks. Photogrammetry and Robotics Lab, University of Bonn
Language: Python - Size: 199 KB - Last synced at: 15 days ago - Pushed at: about 3 years ago - Stars: 235 - Forks: 59
CommonCoreOntology/CommonCoreOntologies
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
Language: Makefile - Size: 16.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 230 - Forks: 61
mit-plv/koika
A core language for rule-based hardware design 🦑
Language: Coq - Size: 4.81 MB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 148 - Forks: 12
EnvironmentOntology/envo
A community-driven ontology for the representation of environments
Language: Makefile - Size: 107 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 145 - Forks: 54
kframework/X86-64-semantics
Semantics of x86-64 in K
Language: Assembly - Size: 227 MB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 143 - Forks: 13
goodmami/penman
PENMAN notation (e.g. AMR) in Python
Language: Python - Size: 545 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 141 - Forks: 26
richardpaulhudson/holmes-extractor
Information extraction from English and German texts based on predicate logic
Language: Python - Size: 670 KB - Last synced at: 12 days ago - Pushed at: almost 2 years ago - Stars: 135 - Forks: 12
aatxe/oxide 📦
The essence of Rust.
Language: OCaml - Size: 1.26 MB - Last synced at: 2 days ago - Pushed at: about 3 years ago - Stars: 123 - Forks: 4
fargonauts/copycat
Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
Language: Python - Size: 2.62 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 121 - Forks: 21
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Language: OCaml - Size: 3.66 MB - Last synced at: 17 days ago - Pushed at: about 2 years ago - Stars: 118 - Forks: 5
nschneid/amr-tutorial
Abstract Meaning Representation (AMR) tutorial slides
Language: TeX - Size: 32.1 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 116 - Forks: 14
libLISA/liblisa
libLISA: Instruction Discovery and Analysis on x86-64
Language: Rust - Size: 2.82 MB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 108 - Forks: 5
odpi/data-governance 📦
Egeria's Guidance on Governance as well as large media files such as presentations and movies
Size: 255 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 104 - Forks: 29
feixue94/sfd2
[CVPR 2023] SFD2: Semantic-guided Feature Detection and Description. Embedding semantics into local features implicitly for long-term visual localization
Language: Python - Size: 22.2 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 98 - Forks: 9
SuperBruceJia/Awesome-LLM-Self-Consistency
Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models
Size: 149 KB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 96 - Forks: 7
jirutka/asciidoctor-html5s
Semantic HTML5 converter (backend) for Asciidoctor
Language: HTML - Size: 273 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 91 - Forks: 11
hicknhack-software/semantic-colorizer Fork of tomasr/roslyn-colorizer 📦
A Visual Studio editor extension that uses the Roslyn APIs to enable semantic syntax highlighting.
Language: C# - Size: 143 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 90 - Forks: 26
FranxYao/Distributional-Generalization-in-Natural-Language-Processing
Distributional Generalization in NLP. A roadmap.
Language: Jupyter Notebook - Size: 5.94 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 3
css-naked-day/css-naked-day.github.io
Show off your semantic <body>!
Language: HTML - Size: 1.21 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 86 - Forks: 117
delph-in/pydelphin
Python libraries for DELPH-IN
Language: Python - Size: 2.81 MB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 79 - Forks: 27
nert-nlp/streusle
STREUSLE: a corpus with comprehensive lexical semantic annotation (multiword expressions, supersenses)
Language: Python - Size: 40.3 MB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 65 - Forks: 17
sdasgup3/binary-decompilation
Extracting high level semantic information from binary code
Language: Assembly - Size: 244 MB - Last synced at: 12 days ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8
pedro-morgado/score-zeroshot
Semantically consistent regularizer for zero-shot learning
Language: Python - Size: 2.63 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 65 - Forks: 21
ruili3/Know-Your-Neighbors
[CVPR 2024] 🏡Know Your Neighbors: Improving Single-View Reconstruction via Spatial Vision-Language Reasoning
Language: Python - Size: 6.64 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 56 - Forks: 8
mrieppel/TruthTableGenerator
Generates truth tables for formulas of sentential logic
Language: JavaScript - Size: 122 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 55 - Forks: 15
w3c/dpv
Data Privacy Vocabularies and Controls CG (DPVCG)
Language: HTML - Size: 212 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 52 - Forks: 31
biopragmatics/biomappings
🗺️ Community curated and predicted equivalences and related mappings between named biological entities that are not available from primary sources.
Language: Jupyter Notebook - Size: 84.9 MB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 52 - Forks: 14
yuvalpinter/m3gm
Max-Margin Markov Graph Models for WordNet (EMNLP 2018)
Language: Python - Size: 673 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 41 - Forks: 9
WingsBrokenAngel/delving-deeper-into-the-decoder-for-video-captioning
Source code for Delving Deeper into the Decoder for Video Captioning
Language: Jupyter Notebook - Size: 982 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 37 - Forks: 13
arsena-k/Word2Vec-bias-extraction
How are words loaded with meaning? Repository accompanying research by Alina Arseniev-Koehler and Jacob G. Foster, titled "Machine learning as a model for cultural learning: teaching an algorithm what it means to be fat." https://journals.sagepub.com/doi/full/10.1177/00491241221122603
Language: Jupyter Notebook - Size: 5.32 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 35 - Forks: 12
spamegg1/abstract-thinking
Abstract thinking patterns and problem decomposition / solving strategies
Size: 1.26 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 31 - Forks: 3
linkml/owlstar
Ontological Interpretations for Web Property Graphs
Language: Makefile - Size: 46.9 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 31 - Forks: 4
SANSA-Stack/SANSA-Notebooks
Interactive Spark Notebooks for running SANSA examples.
Language: Makefile - Size: 8.97 MB - Last synced at: 11 days ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 11
nlpub/watset-java 📦
An implementation of the Watset clustering algorithm in Java.
Language: Java - Size: 13.7 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 28 - Forks: 6
nschneid/amr-hackathon
Abstract Meaning Representation (AMR) Hackathon
Language: Python - Size: 34.2 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 28 - Forks: 11
rawlins/lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Language: Python - Size: 4.49 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 26 - Forks: 7
appcypher/viper 📦
[WIP] A Pythonesque language with a design that focuses on efficiency and expressiveness. Compiles to WebAssembly
Language: Python - Size: 350 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 25 - Forks: 2
feixh/VISMA-tracker
semantic mapping module of vision lab slam system
Language: C++ - Size: 36.9 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 23 - Forks: 4
tony-hong/event-embedding-multitask
*SEM 2018: Learning Distributed Event Representations with a Multi-Task Approach
Language: Python - Size: 673 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 13
omicsNLP/Auto-CORPus
Auto-CORPus pipeline developed by a University of Nottingham and Imperial College London collaboration to standardize text and table data extracted from full text publications. See Open Access publication at: https://doi.org/10.3389/fdgth.2022.788124.
Language: HTML - Size: 55.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 21 - Forks: 8
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language: Python - Size: 1.18 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 3
open-curriculum/oerschema
A RDF vocabulary for OER content on the web.
Language: JavaScript - Size: 4.46 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 21 - Forks: 2
thunlp/BabelNet-Sememe-Prediction
Code and data of the AAAI-20 paper "Towards Building a Multilingual Sememe Knowledge Base: Predicting Sememes for BabelNet Synsets"
Language: Python - Size: 20 MB - Last synced at: 21 days ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 4
bruchansky/pfootprint-nlp
Political Discourse Analysis Using Pre-Trained Word Vectors.
Language: Python - Size: 13.4 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 20 - Forks: 3
huji-nlp/ucca Fork of amitbeka/ucca
Universal Conceptual Cognitive Annotation (UCCA)
Language: Python - Size: 3.93 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 20
DataONEorg/sem-prov-ontologies
Ontologies focused on scientific observations and scientific workflow provenance.
Language: HTML - Size: 17.5 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 18 - Forks: 7
SapienzaNLP/gsrl
GSRL is a seq2seq model for end-to-end dependency- and span-based SRL (IJCAI2021).
Language: Python - Size: 193 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 3
SapienzaNLP/unify-srl
Unifying Cross-Lingual Semantic Role Labeling with Heterogeneous Linguistic Resources (NAACL-2021).
Language: Python - Size: 76.2 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 17 - Forks: 1
MalcolmMielle/maoris
(ICRA 2017) Cutting most types of maps in smaller more meaningful bits.
Language: C++ - Size: 9.93 MB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 14
metadatacenter/cedar-project
Build project for all CEDAR Java repositories
Size: 148 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 14 - Forks: 1
C33Tech/quackerjack
A social post comment thread analyzer written in Golang.
Language: Go - Size: 5.89 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 14 - Forks: 2
LuKuangChen/stacker-2023
A notional machine for the SMoL languages
Language: ReScript - Size: 5.04 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 0
jonathanlinat/accessible-name-automation-proof-of-concept
This is an experiment based on Accessibility Object Model (AOM). It tries to demonstrate that it is theoretically possible (in a certain way) to predict what the screen reader will say by focusing on semantic and non semantic elements with a bit of automated testing, thus reducing the need for manual testing.
Language: JavaScript - Size: 928 KB - Last synced at: 14 days ago - Pushed at: 10 months ago - Stars: 14 - Forks: 0
TobiasHeOl/AbLang
AbLang: A language model for antibodies
Language: Python - Size: 51.8 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 1
arielsilveira/ModalLibrary
Modal Logic Library in Coq
Language: TeX - Size: 3.29 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 1
delph-in/pydmrs
A library for manipulating DMRS structures
Language: Python - Size: 427 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 14 - Forks: 6
dhchenx/ICD11-CAC
The project hosts the data, methods and tools about Computer-Assisted Coding of ICD-11 in medical coding scenes.
Language: C# - Size: 45.5 MB - Last synced at: 23 days ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 4
sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Language: Agda - Size: 448 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 13 - Forks: 3
linkml/linkml-datalog
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
Language: Python - Size: 705 KB - Last synced at: about 22 hours ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 0
aashrafh/frontend-components
The frontend of some of the popular web components using vanilla JS
Language: JavaScript - Size: 2.05 MB - Last synced at: 25 days ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 0
mikahama/FinMeter
Tools for assessing Finnish poetry: rhymes, meter, hyphenation of Finnish and so on.
Language: Python - Size: 1.01 MB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 1
wadimiusz/diachrony_for_russian
Code and dataset for tracing semantic changes in Russian adjectives
Language: Python - Size: 3.6 MB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 11
peterwaksman/Narwhal
Narwhal is a keyword and KEY NARRATIVE manager that creates language-aware classes. Because Narhwal does not use NLP it avoids complexity.
Language: Python - Size: 5.37 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 1
tony-hong/roleo
Web based semantic visualization tool
Language: Python - Size: 10.9 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 12 - Forks: 2
LBNL-ETA/DFLEXLIBS
Demand Flexibility Controls Library using Semantics
Language: Python - Size: 320 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 11 - Forks: 3
New-Soul-Of-Science-Project/New-Soul-Of-Science-Project-Web
New Understandings and Approaches to Physics, to Nature Philosophy, to Life Science, to Psychosomatics, to Society, to Semantics, and to Mathematics – as Website
Language: PHP - Size: 283 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 11 - Forks: 7
SapienzaNLP/multi-srl
Code and models for the COLING2020 paper "Bridging the Gap in Multilingual Semantic Role Labeling: a Language-Agnostic Approach".
Language: Python - Size: 10 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1
SmartDataAnalytics/MA-INF-4223-DBDA-Lab
Repository for Lab “Distributed Big Data Analytics” (MA-INF 4223), University of Bonn
Language: Jupyter Notebook - Size: 177 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 34
FIXTradingCommunity/fix-vocabulary
A controlled vocabulary of FIX Protocol business terms
Language: Jupyter Notebook - Size: 126 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 11 - Forks: 0
filip26/eiger 📦
Application-Level Profile Semantics (ALPS) Processor, CLI, Service
Language: Java - Size: 11.8 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 1
marcpouzet/zrun
A Coiteration-based Executable Synchronous Semantics.
Language: OCaml - Size: 2.02 MB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 9 - Forks: 3
agarsev/grafeno
Python concept graph library
Language: Python - Size: 626 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 1
melchisedech333/antlr4-experiments
:wrench: My studies on context-free grammar, using ANTLR4 (C++) to generate the parser files. Some basics are developed, such as token processing, recursion, variable definition, array processing, Abstract Syntax Tree (AST) manipulation, UNICODE support, and error handling.
Language: Java - Size: 378 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1
disruptek/dust
DUST is Unattended Syntax Truncation
Language: Nim - Size: 22.5 KB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 1
uhh-lt/triframes
Unsupervised Semantic Frame Induction using Triclustering
Language: Python - Size: 7.86 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 2
verlab/SemanticFastForward_ICIP_2016
Fast-Forward Video Based on Semantic Extraction @ 2016 IEEE International Conference on Image Processing (ICIP)
Language: MATLAB - Size: 17.8 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 7
lapets/pydrogen
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
Language: Python - Size: 35.2 KB - Last synced at: 16 days ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0
gemoc/ale-lang
Action Language for EMF
Language: Java - Size: 9.51 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 6
UKPLab/acl2021-metaphor-generation-conceptual
This repository is for the paper Metaphor Generation with Conceptual Mappings (ACL 2021).
Language: Python - Size: 106 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 2
iricartb/university-c-compiler-flex-bison
Ivan Ricart Borges - C compiler using Flex & Bison, Bison is a generator of syntactic analyzers, a substitute for yacc ("Yet Another Compiler Compiler", another compiler of compilers).
Language: C - Size: 133 KB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1
marklogic/entity-services 📦
Data modeling and code scaffolding for data integration in MarkLogic
Language: XQuery - Size: 6.75 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 10
fiesta-iot/ontology
FIESTA-IoT Ontology and M3-Lite Taxonomy
Size: 7.24 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 11
melver/mc2lib
Memory consistency model checking and test generation library.
Language: C++ - Size: 341 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 3
letmaik/xndarray
▦ Multidimensional arrays with semantics in JavaScript
Language: JavaScript - Size: 62.5 KB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 0
wjrforcyber/SystemT
👨💻 Implementing System T in Haskell 👨💻
Language: Haskell - Size: 3.55 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0
