ashinkarov/cnn-in-apl ashinkarov/cnn-in-apl

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language APL
  • License
    ISC License
  • Created over 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashinkarov/cnn-in-apl
github

ashinkarov

Reviews

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

Repository Details

CNN in APL

More Repositories

1

i3-extras

Repository to keep patches and extras for i3 window manager.
Shell
662
star
2

nvim-agda

Agda interaction pluging for neovim
Lua
36
star
3

heh

A programming language with infinite arrays
OCaml
31
star
4

fbless

fb2 console reader
Python
25
star
5

agda-array

Multi-dimensional arrays in Agda
Agda
8
star
6

trie

Simple implementation of trie data structure in C
C
5
star
7

dotfiles

Repository where I keep the dotfiles for easier migration across different machines.
Vim Script
3
star
8

Bob

Preprocessor with c-like syntax and python-like generic lists
C
3
star
9

2021-extraction-paper

Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms
Agda
3
star
10

agda-stacklang

Experiments with stack-based languages a la Forth or PostScript and extractors for them
TeX
2
star
11

cnn-futhark

Futhark
1
star
12

termbook

Terminal reader for fb2 books
Rust
1
star
13

agda-array-morphism

Explore array/container morphisms using the <> operation
Agda
1
star
14

translit-plugin

Pidgin plugin for de-transliteraion of the russian messages
C
1
star
15

agda-extractor

A framework for extracting code from Agda into a costum language
Agda
1
star
16

teaching

Materials for OpenCL course we run in Heriot-Watt.
C
1
star