argent0/idris-dataframe argent0/idris-dataframe

  • Stars
    star
    6
  • Rank 2,534,696 (Top 51 %)
  • Language Idris
  • Created over 8 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
argent0/idris-dataframe
github

argent0

Reviews

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

Repository Details

Data structure inspired by R's data frames.

More Repositories

1

haskell-ml-benchmark

Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
Haskell
9
star
2

Functional-Coffee-Script

A library to use coffeescript as a functional programming language.
CoffeeScript
4
star
3

stega

A steganography set of tools that embeds a file into the LSB's of another.
C
3
star
4

gsoc-2021-proposal

My proposal for the google summer of code 2021
Lua
3
star
5

flake-nvim-python

Nix
1
star
6

PDP-Argentina

Proyecto pilo de democracia Lรญquida en Argentina
PHP
1
star
7

Higher-Order-Perl

Functional Programming in perl
Perl
1
star
8

StaticBlogEngine

An static blog engine
Perl
1
star
9

smallTools

Set of small tools for easing everyday computing
Shell
1
star
10

thunderbolt

Game created to participate in the 6th Reddit Game Jam
Python
1
star