thealmikey/learnIdris thealmikey/learnIdris

  • Stars
    star
    1
  • Language Idris
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thealmikey/learnIdris
github

thealmikey

Reviews

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

Repository Details

More Repositories

1

kotlin-zmq

simple ZeroMQ client server example with kotlin
Kotlin
5
star
2

ecommerce-simple-proto

Scala
2
star
3

palindromic

Scala
2
star
4

datagen

Data generation using names, states and cities repositories
Scala
2
star
5

neo4j-akka-experiment

Combining neo4j, akka for recommendation engine
Scala
2
star
6

NYT-Book-Api-Finagle

Scala
2
star
7

Lww-Dict-Crdt-Kotlin-Challenge

Last-Write-Win-Dictionary CRDT Kotlin implementation.
Kotlin
1
star
8

general-n-queens-problem

Attempt at generalized n-queens problem
Scala
1
star
9

learningElasticsearch

Scala
1
star
10

Less-Tense-More-Flow

Use Tensor-flow in wellness and cognitive therapy
1
star
11

jiplace_policy

Jiplace policy
HTML
1
star
12

kotlin-finite-state-machine-tuts

Exploring Finite State Machines in Kotlin
Kotlin
1
star
13

small-store-experiment

Kotlin
1
star
14

android-zyre-experiment

Kotlin
1
star
15

edgetech-demo

Kotlin
1
star
16

jiplace-android

JiPlace for Android
Kotlin
1
star