semantic-release

semantic-release

:package::rocket: Fully automated version management and package publishing

JavaScript19377mit

2 months ago

automationchangelogpackage

Semantic-UI-React

The official Semantic-UI-React integration

JavaScript13163mit

2 months ago

component-librarycomponentsfrontend-components

Semantic-UI-Vue

Semantic-UI-Vue

Semantic UI integration for Vue

JavaScript937mit

last year

componentssemantic-uisemantic-ui-vue

Semantic-UI-Ember

Official Semantic UI Integration for Ember

JavaScript332mit

last year

increment-semantic-version

Shell84mit

last year

semantic-release-action

GitHub Action for Semantic Release

JavaScript483mit

9 days ago

actionsgithub-actionssemantic-release

Vue-Semantic-Modal

Vue-Semantic-Modal

Vue modal component for Semantic-Ui no jquery

JavaScript45mit

6 years ago

componentmodalvue

node-semantic-git-commit-cli

node-semantic-git-commit-cli

A CLI for semantic git commits

JavaScript144mit

last year

clicommitemoji

semantic-logging

Supporting semantic/structured logging for .NET

C#215other

7 years ago

semantic-kernel

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

C#11090mit

9 months ago

aiartificial-intelligencellm

awesome-semantic-segmentation

:metal: awesome-semantic-segmentation

10186

3 years ago

benchmarkdeeplearningevaluation

vue-ya-semantic-modal

vue-ya-semantic-modal

JavaScript19mit

7 years ago

Semantic-UI

Semantic is a UI component framework based around useful principles from natural

JavaScript50856mit

7 months ago

buttoncss-frameworkdropdown

laravel-vue-semantic-ui-pagination

A VueJS 2.x pagination used with Laravel & Semantic-UI :sunny:

JavaScript8mit

last year

laravellaravel5pagination

ngSemantic

Angular 2 building blocks :package: based on Semantic UI

TypeScript980mit

5 years ago

semantic-search-through-wikipedia-with-weaviate

Semantic search through a vectorized Wikipedia (SentenceBERT) with the Weaviate

Python190mit

2 years ago

semantic-search-through-wikipedia-with-weaviate

Semantic search through a vectorized Wikipedia (SentenceBERT) with the Weaviate

Python214mit

last year

libadalang

libadalang

Ada semantic analysis library.

Ada134other

5 months ago

lidar-bonnetal

lidar-bonnetal

Semantic and Instance Segmentation of LiDAR point clouds for autonomous driving

Python897mit

2 years ago

datasetdeep-learninglidar

rails_semantic_logger

rails_semantic_logger

Rails Semantic Logger replaces the Rails default logger with Semantic Logger

Ruby272apache-2.0

5 months ago

cl-semver

Semantic Versions handling in Common Lisp

Common Lisp12mit

last year

backgrid

Finally, an easily stylable semantic HTML data grid widget with a Javascript API

JavaScript2020mit

7 years ago

semver_bash

Semantic Versioning in Bash

Shell241other

5 months ago

PolarSeg

PolarSeg

Implementation for PolarNet: An Improved Grid Representation for Online LiDAR Po

Python360bsd-3-clause

3 years ago

semantic_slam

semantic_slam

Real time semantic slam in ROS with a hand held RGB-D camera

C++598gpl-3.0

5 years ago

3d-reconstructionoctomapros

eliver

Interactive semantic versioning for Elixir packages

Elixir56

4 years ago

dongle

A simple, semantic and developer-friendly golang package for encoding&decoding a

Go828mit

3 months ago

3desaesbase16

scuttloid

Semantic Scuttle android client.

Java14gpl-3.0

9 years ago

cquery

C/C++ language server supporting multi-million line code base, powered by libcla

C++2338mit

4 years ago

cpplanguage-server-protocollsp

nlp

nlp

Selected Machine Learning algorithms for natural language processing and semanti

Go428mit

3 years ago

feature-hashgogolang

physt

physt

Python histogram library - histograms as updateable, fully semantic objects with

Python127mit

2 months ago

2d-histogramsheatmaphistogram

gitex

Elixir implementation of the Git object storage, but with the goal to implement

Elixir64

2 years ago

robosat

robosat

Semantic segmentation on aerial and satellite imagery. Extracts features such a

Python1995mit

4 years ago

aerial-imagerymachine-learningopenstreetmap

ccls

C/C++/ObjC language server supporting cross references, hierarchies, completion

C++3603apache-2.0

3 months ago

cppidelanguage-server-protocol

mutant

Automated code reviews via mutation testing - semantic code coverage.

Ruby1918other

28 days ago

code-quality-analyzercode-reviewcoverage

Kimera-Semantics

Kimera-Semantics

Real-Time 3D Semantic Reconstruction from 2D data

C++607bsd-2-clause

4 months ago

3d-reconstructioncpudepth-image

teeplot

teeplot

organize data visualization output, automatically picking meaningful names based

Python2mit

4 months ago

data-sciencedata-visualizationpython

Version

Represent and compare versions via semantic versioning (SemVer) in Swift

Swift179mit

8 months ago

cocoapodsiosmacos

onedarkpro.nvim

onedarkpro.nvim

๐ŸŽจ Atom's iconic One Dark theme, for Neovim. Cacheable, fully customisable, Tree

Lua649mit

2 months ago

colorschemeluaneovim

pico

pico

Minimal CSS Framework for semantic HTML

SCSS10620mit

6 months ago

csscss-frameworkdark-mode

semantic_suma

semantic_suma

SuMa++: Efficient LiDAR-based Semantic SLAM (Chen et al IROS 2019)

C++855mit

last month

3d-lidarlidarrangenet-lib

sh-semver

Bash implementation of semantic versioning

Shell30mit

3 years ago

bashsemver

illustration2vec

illustration2vec

A simple deep learning library for estimating a set of tags and extracting seman

Python668mit

5 years ago

arctic.nvim

arctic.nvim

Neovim color schemes ported from VSCode Dark+ and Dark Modern with Treesitter an

Lua130mit

3 months ago

alacritty-themecolorschemedarkplus

libason

A library to parse and manipulate an algebraic superset/semantic application of

C2gpl-3.0

9 years ago

php-semver-checker

Compares two source sets and determines the appropriate semantic versioning to a

PHP426mit

7 months ago

analyzerinspectionphp

SemanticSegmentation-CoreML

SemanticSegmentation-CoreML

The example project of inferencing Semantic Segementation using Core ML

Swift292mit

3 years ago

TorchSeg

TorchSeg

Fast, modular reference implementation and easy training of Semantic Segmentatio

Python1399mit

4 years ago

CogStack-SemEHR

CogStack-SemEHR

Surfacing Semantic Data from Clinical Notes in Electronic Health Records for Tai

JavaScript86apache-2.0

last year

electronic-health-recordsemantic-annotationsemantic-query

semver4j

Semantic versioning for Java apps.

Java56mit

last month

cocoapodsivyjava

jquery-dynatable

A more-fun, semantic, alternative to datatables

JavaScript2776other

2 years ago

haystack

haystack

:mag: LLM orchestration framework to build customizable, production-ready LLM ap

Python13059apache-2.0

last month

aibertchatgpt

carbon

A simple, semantic and developer-friendly golang package for time

Go4408mit

2 months ago

calendarcarbondate

SemVue

SemVue

Semantic-ui components easy in your vue project

JavaScript34mit

6 years ago

txtai

txtai

๐Ÿ’ก All-in-one open-source embeddings database for semantic search, LLM orchestra

Python5939apache-2.0

4 months ago

embeddingsinformation-retrievallanguage-model

awesome-citygml

awesome-citygml

The ultimate list of open data semantic 3D city models

158mit

4 months ago

3d3d-modelsawesome-list

NBomber

NBomber

Modern and flexible load testing framework for Pull and Push scenarios, designed

CSS1984other

2 months ago

csharpdotnetfsharp

strong-together

strong-together

A starter project to build single page Vue.js apps as stand-alone or for Laravel

CSS89mit

7 years ago

crystal-version-tools

Crystal tools for providing different behaviour at compile-time based on semanti

Crystal8other

4 years ago

Graph

Graph is a semantic database that is used to create data-driven applications.

Swift871mit

2 years ago

coredatacosmicminddata

vue-match-media

Vue.js (2.x-compatible) plugin that offers a consistent, semantic approach to ma

JavaScript38mit

4 years ago

weggli

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is

Rust1979apache-2.0

last year

semver.c

Semantic version in ANSI C

C183mit

4 years ago

ansi-cccomparison-operators

react-native-layout

react-native-layout

Semantic layout components for React Native

JavaScript57mit

4 years ago

cut-release-action

Github action to cut a release branch given a semantic version

JavaScript9mit

2 years ago

expand-region.el

Emacs extension to increase selected region by semantic units.

Emacs Lisp1308gpl-3.0

3 months ago

git-semver

Git plugin for Semantic Versioning

Shell375mit

4 years ago

avm-semantics

Python15bsd-3-clause

2 days ago

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Python497bsd-3-clause

2 days ago

versioning-bundle

Simple way to version (semantic versioning 2.0.0) your Symfony2/3/4/5/6 applicat

PHP110mit

4 months ago

phpsemanticsemver

tidy

tidy

Offline semantic Text-to-Image and Image-to-Image search on Android powered by q

Kotlin115gpl-3.0

23 days ago

androidclipcomputer-vision

upshot-montague

upshot-montague

Montague is a little CCG semantic parsing library for Scala.

Scala59mit

2 years ago

weggli

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is

Rust2237apache-2.0

2 months ago

awsm.css

awsm.css

Simple CSS library for semantic HTML markup

Pug1482mit

3 years ago

awsmcsscss-library

v-rating

v-rating

:star: Rating component in Semantic-UI made with VueJS (< 1kB, blazing fast)

JavaScript49mit

last year

v-ratingvuevue-components

LEDNet

LEDNet

LEDNet: A Lightweight Encoder-Decoder Network for Real-time Semantic Segmentatio

Python508mit

3 years ago

cityscape-datasetcomputer-visionlednet

midi-ports

Returns an object of attached midi ports with inputID, outputID, name, and manuf

JavaScript16

6 years ago

cube

cube

๐Ÿ“Š Cube โ€” The Semantic Layer for Building Data Applications

Rust16950other

2 months ago

analyticsbigquerycube

night-owl.nvim

night-owl.nvim

๐Ÿฆ‰ ๐ŸŒŒ night-owl.nvim is a Night Owl colorscheme implementation for Neovim with s

Lua148bsd-3-clause

3 months ago

colorschemedark-themeneovim

go-semrel-gitlab

Semantic release for GitLab https://juhani.gitlab.io/go-semrel-gitlab/

Go89mit

4 years ago

release automationsemantic versioningsemantic-release

Fomantic-UI

Fomantic-UI

Fomantic-UI is the official community fork of Semantic-UI

JavaScript3376mit

5 months ago

component-librarycsscss-framework

bUnit

bUnit

bUnit is a testing library for Blazor components that make tests look, feel, and

C#1027mit

3 months ago

blazorblazor-componentsbunit

Theseus

Theseus

Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐š๐ฅ๐ข

Rust2687mit

3 months ago

intralingualkerneloperating-system

ManhoodOfHumanity

ManhoodOfHumanity

Russian-language adaptations of materials on general semantics

Kotlin1gpl-3.0

22 days ago

Cam2BEV

Cam2BEV

TensorFlow Implementation for Computing a Semantically Segmented Bird's Eye View

Python661mit

3 months ago

autonomous-vehiclesbirds-eye-viewcomputer-vision

jsonassert

jsonassert

A Go test assertion library for verifying that two representations of JSON are s

Go117mit

2 months ago

assertion-libraryassertionsgo

blindsight

blindsight

Blindsight is a Scala logging API with DSL based structured logging, fluent logg

Scala84other

last month

logginglogstash-logback-encoderscala

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collรจge de France, 2019-2

Coq48lgpl-2.1

10 months ago

formtastic

A Rails form builder plugin with semantically rich and accessible markup.

Ruby5195mit

last month

Optuple

.NET Standard Library for giving (bool, T) Option-like semantics

C#26apache-2.0

5 years ago

CodeAlchemist

CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaSc

F#229mit

4 years ago

code-generationfsharpfuzzer

Logi

Logi

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge

C++13bsd-2-clause

3 years ago

vulkanvulkan-abstractionvulkan-abstraction-framework

sqlbrite

A lightweight wrapper around SQLiteOpenHelper which introduces reactive stream s

Java4578apache-2.0

4 years ago

vue-mq

๐Ÿ“ฑ ๐Ÿ’ป Define your breakpoints and build responsive design semantically and dec

JavaScript537mit

last year

breakpointsmediamediaqueries

hailstorm

Haskell distributed stream processing with exactly-once semantics

Haskell90apache-2.0

10 years ago

check-geojson

a checker for the geojson format. goes beyond a schema, checking semantics and p

TypeScript64mit

last year

geojsonlintermaps

semantic-release

semantic-release

:package::rocket: Fully automated version management and package publishing

JavaScript19377mit

2 months ago

automationchangelogpackage

Semantic-UI-React

The official Semantic-UI-React integration

JavaScript13163mit

2 months ago

component-librarycomponentsfrontend-components

Semantic-UI-Vue

Semantic-UI-Vue

Semantic UI integration for Vue

JavaScript937mit

last year

componentssemantic-uisemantic-ui-vue

Semantic-UI-Ember

Official Semantic UI Integration for Ember

JavaScript332mit

last year

increment-semantic-version

Shell84mit

last year

semantic-release-action

GitHub Action for Semantic Release

JavaScript483mit

9 days ago

actionsgithub-actionssemantic-release

Vue-Semantic-Modal

Vue-Semantic-Modal

Vue modal component for Semantic-Ui no jquery

JavaScript45mit

6 years ago

componentmodalvue

semantic-segmentation-editor

semantic-segmentation-editor

Web labeling tool for bitmap images and point clouds

JavaScript1717mit

8 months ago

image-labelingimage-labeling-toollabeling-tool

node-semantic-git-commit-cli

node-semantic-git-commit-cli

A CLI for semantic git commits

JavaScript144mit

last year

clicommitemoji

semantic-logging

Supporting semantic/structured logging for .NET

C#215other

7 years ago

semantic-kernel

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

C#11090mit

9 months ago

aiartificial-intelligencellm

vue-ya-semantic-modal

vue-ya-semantic-modal

JavaScript19mit

7 years ago

Semantic-UI

Semantic is a UI component framework based around useful principles from natural

JavaScript50856mit

7 months ago

buttoncss-frameworkdropdown

laravel-vue-semantic-ui-pagination

A VueJS 2.x pagination used with Laravel & Semantic-UI :sunny:

JavaScript8mit

last year

laravellaravel5pagination

ngSemantic

Angular 2 building blocks :package: based on Semantic UI

TypeScript980mit

5 years ago

semantic-search-through-wikipedia-with-weaviate

Semantic search through a vectorized Wikipedia (SentenceBERT) with the Weaviate

Python190mit

2 years ago

semantic-search-through-wikipedia-with-weaviate

Semantic search through a vectorized Wikipedia (SentenceBERT) with the Weaviate

Python214mit

last year

libadalang

libadalang

Ada semantic analysis library.

Ada134other

5 months ago

rails_semantic_logger

rails_semantic_logger

Rails Semantic Logger replaces the Rails default logger with Semantic Logger

Ruby272apache-2.0

5 months ago

cl-semver

Semantic Versions handling in Common Lisp

Common Lisp12mit

last year

backgrid

Finally, an easily stylable semantic HTML data grid widget with a Javascript API

JavaScript2020mit

7 years ago

semver_bash

Semantic Versioning in Bash

Shell241other

5 months ago

semantic_slam

semantic_slam

Real time semantic slam in ROS with a hand held RGB-D camera

C++598gpl-3.0

5 years ago

3d-reconstructionoctomapros

eliver

Interactive semantic versioning for Elixir packages

Elixir56

4 years ago

dongle

A simple, semantic and developer-friendly golang package for encoding&decoding a

Go828mit

3 months ago

3desaesbase16

scuttloid

Semantic Scuttle android client.

Java14gpl-3.0

9 years ago

cquery

C/C++ language server supporting multi-million line code base, powered by libcla

C++2338mit

4 years ago

cpplanguage-server-protocollsp

nlp

nlp

Selected Machine Learning algorithms for natural language processing and semanti

Go428mit

3 years ago

feature-hashgogolang

physt

physt

Python histogram library - histograms as updateable, fully semantic objects with

Python127mit

2 months ago

2d-histogramsheatmaphistogram

gitex

Elixir implementation of the Git object storage, but with the goal to implement

Elixir64

2 years ago

superpoint_graph

superpoint_graph

Large-scale Point Cloud Semantic Segmentation with Superpoint Graphs

Python739mit

9 months ago

clusteringlarge-scalelidar

ccls

C/C++/ObjC language server supporting cross references, hierarchies, completion

C++3603apache-2.0

3 months ago

cppidelanguage-server-protocol

mutant

Automated code reviews via mutation testing - semantic code coverage.

Ruby1918other

28 days ago

code-quality-analyzercode-reviewcoverage

Kimera-Semantics

Kimera-Semantics

Real-Time 3D Semantic Reconstruction from 2D data

C++607bsd-2-clause

4 months ago

3d-reconstructioncpudepth-image

teeplot

teeplot

organize data visualization output, automatically picking meaningful names based

Python2mit

4 months ago

data-sciencedata-visualizationpython

Version

Represent and compare versions via semantic versioning (SemVer) in Swift

Swift179mit

8 months ago

cocoapodsiosmacos

onedarkpro.nvim

onedarkpro.nvim

๐ŸŽจ Atom's iconic One Dark theme, for Neovim. Cacheable, fully customisable, Tree

Lua649mit

2 months ago

colorschemeluaneovim

pico

pico

Minimal CSS Framework for semantic HTML

SCSS10620mit

6 months ago

csscss-frameworkdark-mode

semantic_suma

semantic_suma

SuMa++: Efficient LiDAR-based Semantic SLAM (Chen et al IROS 2019)

C++855mit

last month

3d-lidarlidarrangenet-lib

sh-semver

Bash implementation of semantic versioning

Shell30mit

3 years ago

bashsemver

illustration2vec

illustration2vec

A simple deep learning library for estimating a set of tags and extracting seman

Python668mit

5 years ago

arctic.nvim

arctic.nvim

Neovim color schemes ported from VSCode Dark+ and Dark Modern with Treesitter an

Lua130mit

3 months ago

alacritty-themecolorschemedarkplus

libason

A library to parse and manipulate an algebraic superset/semantic application of

C2gpl-3.0

9 years ago

SalsaNext

SalsaNext

Uncertainty-aware Semantic Segmentation of LiDAR Point Clouds for Autonomous Dri

Python384mit

7 months ago

3d-lidar-databayesian-networkdecoder

php-semver-checker

Compares two source sets and determines the appropriate semantic versioning to a

PHP426mit

7 months ago

analyzerinspectionphp

SemanticSegmentation-CoreML

SemanticSegmentation-CoreML

The example project of inferencing Semantic Segementation using Core ML

Swift292mit

3 years ago

CogStack-SemEHR

CogStack-SemEHR

Surfacing Semantic Data from Clinical Notes in Electronic Health Records for Tai

JavaScript86apache-2.0

last year

electronic-health-recordsemantic-annotationsemantic-query

semver4j

Semantic versioning for Java apps.

Java56mit

last month

cocoapodsivyjava

jquery-dynatable

A more-fun, semantic, alternative to datatables

JavaScript2776other

2 years ago

haystack

haystack

:mag: LLM orchestration framework to build customizable, production-ready LLM ap

Python13059apache-2.0

last month

aibertchatgpt

carbon

A simple, semantic and developer-friendly golang package for time

Go4408mit

2 months ago

calendarcarbondate

SemVue

SemVue

Semantic-ui components easy in your vue project

JavaScript34mit

6 years ago

txtai

txtai

๐Ÿ’ก All-in-one open-source embeddings database for semantic search, LLM orchestra

Python5939apache-2.0

4 months ago

embeddingsinformation-retrievallanguage-model

awesome-citygml

awesome-citygml

The ultimate list of open data semantic 3D city models

158mit

4 months ago

3d3d-modelsawesome-list

NBomber

NBomber

Modern and flexible load testing framework for Pull and Push scenarios, designed

CSS1984other

2 months ago

csharpdotnetfsharp

strong-together

strong-together

A starter project to build single page Vue.js apps as stand-alone or for Laravel

CSS89mit

7 years ago

crystal-version-tools

Crystal tools for providing different behaviour at compile-time based on semanti

Crystal8other

4 years ago

Graph

Graph is a semantic database that is used to create data-driven applications.

Swift871mit

2 years ago

coredatacosmicminddata

vue-match-media

Vue.js (2.x-compatible) plugin that offers a consistent, semantic approach to ma

JavaScript38mit

4 years ago

weggli

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is

Rust1979apache-2.0

last year

semver.c

Semantic version in ANSI C

C183mit

4 years ago

ansi-cccomparison-operators

react-native-layout

react-native-layout

Semantic layout components for React Native

JavaScript57mit

4 years ago

cut-release-action

Github action to cut a release branch given a semantic version

JavaScript9mit

2 years ago

expand-region.el

Emacs extension to increase selected region by semantic units.

Emacs Lisp1308gpl-3.0

3 months ago

git-semver

Git plugin for Semantic Versioning

Shell375mit

4 years ago

avm-semantics

Python15bsd-3-clause

2 days ago

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Python497bsd-3-clause

2 days ago

versioning-bundle

Simple way to version (semantic versioning 2.0.0) your Symfony2/3/4/5/6 applicat

PHP110mit

4 months ago

phpsemanticsemver

tidy

tidy

Offline semantic Text-to-Image and Image-to-Image search on Android powered by q

Kotlin115gpl-3.0

23 days ago

androidclipcomputer-vision

upshot-montague

upshot-montague

Montague is a little CCG semantic parsing library for Scala.

Scala59mit

2 years ago

weggli

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is

Rust2237apache-2.0

2 months ago

awsm.css

awsm.css

Simple CSS library for semantic HTML markup

Pug1482mit

3 years ago

awsmcsscss-library

v-rating

v-rating

:star: Rating component in Semantic-UI made with VueJS (< 1kB, blazing fast)

JavaScript49mit

last year

v-ratingvuevue-components

midi-ports

Returns an object of attached midi ports with inputID, outputID, name, and manuf

JavaScript16

6 years ago

cube

cube

๐Ÿ“Š Cube โ€” The Semantic Layer for Building Data Applications

Rust16950other

2 months ago

analyticsbigquerycube

night-owl.nvim

night-owl.nvim

๐Ÿฆ‰ ๐ŸŒŒ night-owl.nvim is a Night Owl colorscheme implementation for Neovim with s

Lua148bsd-3-clause

3 months ago

colorschemedark-themeneovim

go-semrel-gitlab

Semantic release for GitLab https://juhani.gitlab.io/go-semrel-gitlab/

Go89mit

4 years ago

release automationsemantic versioningsemantic-release

Fomantic-UI

Fomantic-UI

Fomantic-UI is the official community fork of Semantic-UI

JavaScript3376mit

5 months ago

component-librarycsscss-framework

bUnit

bUnit

bUnit is a testing library for Blazor components that make tests look, feel, and

C#1027mit

3 months ago

blazorblazor-componentsbunit

Theseus

Theseus

Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐š๐ฅ๐ข

Rust2687mit

3 months ago

intralingualkerneloperating-system

ManhoodOfHumanity

ManhoodOfHumanity

Russian-language adaptations of materials on general semantics

Kotlin1gpl-3.0

22 days ago

Cam2BEV

Cam2BEV

TensorFlow Implementation for Computing a Semantically Segmented Bird's Eye View

Python661mit

3 months ago

autonomous-vehiclesbirds-eye-viewcomputer-vision

jsonassert

jsonassert

A Go test assertion library for verifying that two representations of JSON are s

Go117mit

2 months ago

assertion-libraryassertionsgo

blindsight

blindsight

Blindsight is a Scala logging API with DSL based structured logging, fluent logg

Scala84other

last month

logginglogstash-logback-encoderscala

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collรจge de France, 2019-2

Coq48lgpl-2.1

10 months ago

formtastic

A Rails form builder plugin with semantically rich and accessible markup.

Ruby5195mit

last month

Optuple

.NET Standard Library for giving (bool, T) Option-like semantics

C#26apache-2.0

5 years ago

CodeAlchemist

CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaSc

F#229mit

4 years ago

code-generationfsharpfuzzer

Logi

Logi

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge

C++13bsd-2-clause

3 years ago

vulkanvulkan-abstractionvulkan-abstraction-framework

sqlbrite

A lightweight wrapper around SQLiteOpenHelper which introduces reactive stream s

Java4578apache-2.0

4 years ago

vue-mq

๐Ÿ“ฑ ๐Ÿ’ป Define your breakpoints and build responsive design semantically and dec

JavaScript537mit

last year

breakpointsmediamediaqueries

hailstorm

Haskell distributed stream processing with exactly-once semantics

Haskell90apache-2.0

10 years ago

check-geojson

a checker for the geojson format. goes beyond a schema, checking semantics and p

TypeScript64mit

last year

geojsonlintermaps