ReedOei/fuzzy-dates ReedOei/fuzzy-dates

  • Stars
    star
    5
  • Rank 2,846,520 (Top 57 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ReedOei/fuzzy-dates
github

ReedOei

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automatically detect and parse dates in many different formats

More Repositories

1

Pecan

An automated theorem prover that uses Büchi automata.
Python
40
star
2

History-Generator

Produces a simulated history of a fake, randomly generated world.
Python
20
star
3

CMips

A C to MIPS compiler.
Haskell
11
star
4

achelois

achelois is a collection of tools to make writing shell scripts in Prolog easier.
Prolog
9
star
5

Enki

A beginner-focused logic programming language.
Haskell
8
star
6

TypeTheory

TeX
3
star
7

SturmianWords

Shell
3
star
8

Rudi

Simple programming language based on the SKI combinators.
Haskell
3
star
9

Psamathe

A programming language with flows for writing safer smart contracts.
TeX
2
star
10

FormalModelsOfComputation

Source code for a series of tutorials about the theory of computation formalized in Coq.
Coq
2
star
11

SetTheory

Python
2
star
12

GoodVideos

2
star
13

JSONParser

Haskell
2
star
14

Logical-Propositions

Tools for working with logical propositions (generating equivalent expressions, checking for logical equivalence, generating truth tables).
Haskell
2
star
15

OstrowskiAutomata

Haskell
2
star
16

testrunner

A Maven plugin to make writing custom tools that need to run tests.
Java
1
star
17

Diaconescu

Coq
1
star
18

Tufeu

Haskell
1
star
19

Enki-Old

Old repository for the Enki language.
C++
1
star
20

Prime-Sample

Haskell
1
star
21

vim-maude

Vim Script
1
star
22

Multiplicative-Persistence

Haskell
1
star
23

Niqaa

Haskell
1
star
24

LaTeX

TeX
1
star
25

dependent-tests-scripts

Scripts related to the dependent tests impact project (Main repository is: https://github.com/winglam/dependent-tests-impact).
Shell
1
star
26

dt-fixing-tools

Tools for automatic debugging/fixing of dependent tests (WIP).
Java
1
star
27

Minilisp

A small Lisp-like language.
Haskell
1
star
28

dependent-tests-experiments

Experiments for dependent tests impact project, main tool repository is (https://github.com/winglam/dependent-tests-impact).
1
star
29

VanEck

Haskell
1
star
30

Project-Euler

My solutions to various Project Euler problems.
Haskell
1
star
31

Units

Haskell
1
star