mtrsk/interval.fs mtrsk/interval.fs

  • Stars
    star
    2
  • Language
    F#
  • License
    Do What The F*ck ...
  • Created 11 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mtrsk/interval.fs
github

mtrsk

Reviews

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

Repository Details

An implementation of Allen's Interval Algebra, for .Net

More Repositories

1

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥
Nix
17
star
2

Minicurso-Linux

(WIP) Minicurso de Linux/Unix, Shell Script e Vim (JIM - 2018)
Nix
7
star
3

mtrsk.github.io

My new blog, built with Org, Elisp, Emacs, Nix, Just & Github Actions
Nix
4
star
4

Criptografia-com-SAGE-2017

Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017
Jupyter Notebook
3
star
5

PropositionsAsTypes

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.
TeX
2
star
6

exercism-shell

A nix-based environment to solve exercism in multiple languages
Nix
2
star
7

Proof-Plaza

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
Coq
1
star
8

no-bs

A NodeJS REST API, with no (bs) frameworks
JavaScript
1
star
9

Internet-Magic-Money

(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.
Jupyter Notebook
1
star
10

RegexPlay

Readings from "A Play on Regular Expressions", 2010
Haskell
1
star
11

duino

Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.
C++
1
star
12

emacs-latex-org-nix

A template project with an environment for LaTeX + Nix + Org-mode
Nix
1
star