Reimplementation of Natural Number Game in Coq

Coq6apache-2.0

2 years ago

coqgamelean

Advanced Natural Motion Animations, Simple Blocks Based Syntax

Swift582other

4 years ago

animation-libraryanimationscoreanimation

Protection of natural persons with regard to the processing of personal data and

208other

6 months ago

awesomeawesome-listcurated-list

Article spinning and spintax/spinning syntax engine written in Go, useful for A/

Go56mit

4 years ago

gogolanggolang-library

🌲 super fast, all natural json logger

JavaScript14353mit

3 days ago

fastjsonlogger

Detecting Text in Natural Image with Connectionist Text Proposal Network (ECCV'1

Jupyter Notebook1284other

3 years ago

ocrtext-detection

This project is a merge of several common DateTime operations on the form of ex

C#785other

10 days ago

datetimegood-first-issue

Japanese Natural Langauge Processing Libraries

OpenEdge ABL148bsd-2-clause

4 years ago

japanesenlpword-sense-disambiguation

Accesses parasite occurrence records from the London Natural History Museum's Ho

R7gpl-3.0

2 years ago

disease-networkshelminthopen-data

Pre-built TopoJSON from Natural Earth.

Shell1055isc

3 years ago

Parse natural and standardized dates/times and ranges in Go without knowing the

Go20mit

2 years ago

A directory and analysis of the open source ecosystem in the areas of climate ch

2095cc-by-4.0

6 hours ago

awesomeawesome-listbiodiversity

🎨 A natural color picker component for Vue.js

Vue11

2 years ago

color-pickervue

🔀 Extension method for StringComparison that adds support for natural sorting (

C#165mit

4 months ago

c-sharpcomparerextension-methods

🏟

26

4 years ago

The Mohawk College MARC-HI/MEDIC Client Registry Reference Implementation repres

C#13other

last year

blueprintcanadaclient-registry

svelte-fluent is a powerful localization library for Svelte and SvelteKit that e

Svelte96mit

yesterday

fluentformattingftl

The original code from the DeepMind article + my tweaks

Lua1826

7 years ago

The Nature of Code book (archived repo, see README for new repo / build system!)

JavaScript1938

5 years ago

:mount_fuji: Fuji plot—a circos representation of multiple GWAS results— :mount_

R69gpl-3.0

9 months ago

A tech mod for Minecraft themed around the magic of nature and plant life.

Java1282other

8 days ago

hacktoberfestjavaminecraft

Nickel extracts date, time, and message information from naturally worded text.

Ruby112mit

7 years ago

Run your favourite commands naturally, with Docker

Shell47

7 years ago

dockerdocker-imagezsh

TourCount is an Android App that supports species-specific counting of butterfli

Kotlin4

last month

TransektCount is an Android App that supports transect counters in nature preser

Kotlin5

3 months ago

A very extensive set of extension methods that allow you to more naturally speci

C#3680apache-2.0

4 months ago

assertionsbdd-stylec-sharp

Inspired by https://github.com/djadmin/awesome-bug-bounty, a list of bug bounty

3676

4 months ago

Description High-quality vocals with your iPhone or iPadSpire for iOS combine

1032isc

3 days ago

audioinstrumentmidi

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft

Reimplementation of Natural Number Game in Coq

Coq6apache-2.0

2 years ago

coqgamelean

Advanced Natural Motion Animations, Simple Blocks Based Syntax

Swift582other

4 years ago

animation-libraryanimationscoreanimation

Protection of natural persons with regard to the processing of personal data and

208other

6 months ago

awesomeawesome-listcurated-list

Article spinning and spintax/spinning syntax engine written in Go, useful for A/

Go56mit

4 years ago

gogolanggolang-library

🌲 super fast, all natural json logger

JavaScript14353mit

3 days ago

fastjsonlogger

Detecting Text in Natural Image with Connectionist Text Proposal Network (ECCV'1

Jupyter Notebook1284other

3 years ago

ocrtext-detection

This project is a merge of several common DateTime operations on the form of ex

C#785other

10 days ago

datetimegood-first-issue

Japanese Natural Langauge Processing Libraries

OpenEdge ABL148bsd-2-clause

4 years ago

japanesenlpword-sense-disambiguation

Accesses parasite occurrence records from the London Natural History Museum's Ho

R7gpl-3.0

2 years ago

disease-networkshelminthopen-data

Pre-built TopoJSON from Natural Earth.

Shell1055isc

3 years ago

Parse natural and standardized dates/times and ranges in Go without knowing the

Go20mit

2 years ago

A directory and analysis of the open source ecosystem in the areas of climate ch

2095cc-by-4.0

6 hours ago

awesomeawesome-listbiodiversity

🎨 A natural color picker component for Vue.js

Vue11

2 years ago

color-pickervue

🔀 Extension method for StringComparison that adds support for natural sorting (

C#165mit

4 months ago

c-sharpcomparerextension-methods

🏟

26

4 years ago

The Mohawk College MARC-HI/MEDIC Client Registry Reference Implementation repres

C#13other

last year

blueprintcanadaclient-registry

svelte-fluent is a powerful localization library for Svelte and SvelteKit that e

Svelte96mit

yesterday

fluentformattingftl

The original code from the DeepMind article + my tweaks

Lua1826

7 years ago

The Nature of Code book (archived repo, see README for new repo / build system!)

JavaScript1938

5 years ago

:mount_fuji: Fuji plot—a circos representation of multiple GWAS results— :mount_

R69gpl-3.0

9 months ago

A tech mod for Minecraft themed around the magic of nature and plant life.

Java1282other

8 days ago

hacktoberfestjavaminecraft

Nickel extracts date, time, and message information from naturally worded text.

Ruby112mit

7 years ago

Run your favourite commands naturally, with Docker

Shell47

7 years ago

dockerdocker-imagezsh

TourCount is an Android App that supports species-specific counting of butterfli

Kotlin4

last month

TransektCount is an Android App that supports transect counters in nature preser

Kotlin5

3 months ago

A very extensive set of extension methods that allow you to more naturally speci

C#3680apache-2.0

4 months ago

assertionsbdd-stylec-sharp

Inspired by https://github.com/djadmin/awesome-bug-bounty, a list of bug bounty

3676

4 months ago

Description High-quality vocals with your iPhone or iPadSpire for iOS combine

1032isc

3 days ago

audioinstrumentmidi

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft